<div dir="ltr">Apologies if this isn&#39;t the right forum, I couldn&#39;t find bug-reporting information via the typed racket documentation.<div><br></div><div>It seems that typed racket doesn&#39;t play well with hasheq in certain circumstances.  A minimal repro case:</div>
<div><br></div><div>File &quot;bug.rkt&quot;:</div><div><div><font face="courier new, monospace">#lang typed/racket</font></div><div><font face="courier new, monospace">(provide (struct-out container))</font></div><div><font face="courier new, monospace">(struct: container ([value : Any]))</font></div>
</div><div><br></div><div>REPL:</div><div><div><font face="courier new, monospace">-&gt; (require &quot;bug.rkt&quot;)</font></div><div><font face="courier new, monospace">-&gt; (container-value (container (hasheq &#39;foo &quot;foo&quot;)))</font></div>
<div><font face="courier new, monospace">; prop:chaperone-contract: expected a chaperone of &#39;#hasheq((foo . &quot;foo&quot;)), got</font></div><div><font face="courier new, monospace">;   &#39;#hash((foo . &quot;foo&quot;)) [,bt for context]</font></div>
</div><div><br></div></div>