<div dir="ltr"><div style>Is this a bug?</div><div><br></div><div>#lang typed/racket/base</div><div><br></div><div>(define: âns : (Vectorof Float) &#39;#(1.0 2.0 3.0))</div><div>(define: ÷ns : (Vectorof Float) &#39;#(4.0 5.0 6.0)) </div>
<div><br></div><div>(for/sum: : Float <span class="" style="white-space:pre">        </span></div><div>  ([ân : Float (in-vector âns)]</div><div>   [÷n : Float (in-vector ÷ns)])</div><div>  (* ân ÷n))</div></div>