Comment 1 for bug 1177703

Revision history for this message
Paul Khuong (pvk) wrote :

The patch below inserts an explicit check when necessary. I haven't really dug deep, but it seems that we only emit type checks when the declared slot type differs from its raw slot type?

Adding more checking code seems like a sane avenue, except that it'd increase our reliance on clever type propagation...