&gt; Also, functions could coerce to either of the closure types<p>Huh, I recall this not working. Perhaps I made a mistake then.<p>&gt; closures were pointers into the stack<p>Ah, the type erasure was through &amp;mut. TIL; I always thought it was Box only.