Comment 4 for bug 1276282

Revision history for this message
Paul Khuong (pvk) wrote : Re: [Bug 1276282] Re: "The value NIL is not of type (AND ATOM (NOT NULL))" from SB-C::LVAR-USE

Without TRULY-THE, we often get non-ideal later transforms after commutation: type information is lost because we have to let convert everything and reflow types through.

Might be a win to just swap the combination's argument list in place.