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...
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...