Comment 3 for bug 1276282

Stas Boukarev (stassats) wrote :

So, commutative-arg-swap wraps the non-constant argument into (truly-the (lvar-type y) y), and NUMERIC-TYPE is not dumpable when it appears in the error message. I'm not quite sure why does it need to wrap with truly-the.