A couple small fixes split out from the FIXED work
85bd2ac11982dcd4892331f59bd7c1dc20dfa8e4: Makes pointer_table[PointerId::NONE] panic with a clearer message (it already panics, but the message is rather opaque).
e02e0b8ade0a98519cd1fcd78306860b8cb40c4f: The pointee_ty field of Callee::PtrOffset currently is always set to the T from impl<T> *mut T { ... }; this commit fixes it to be the actual pointee type at the use site. For example, on (x: *mut i32).offset(...), pointee_ty will now be i32.
Based on #876 for now; once this is approved, I'll rebase onto master.
A couple small fixes split out from the
FIXEDworkpointer_table[PointerId::NONE]panic with a clearer message (it already panics, but the message is rather opaque).pointee_tyfield ofCallee::PtrOffsetcurrently is always set to theTfromimpl<T> *mut T { ... }; this commit fixes it to be the actual pointee type at the use site. For example, on(x: *mut i32).offset(...),pointee_tywill now bei32.Based on #876 for now; once this is approved, I'll rebase onto
master.