Open
Description
Opening after some discussion in rust-lang/miri#918 (comment)
This playground snippet crashes on an illegal instruction on release: https://play.rust-lang.org/?version=stable&mode=release&edition=2018&gist=7c69493026add62256996d204e1278c0
Are vtable ptrs in trait object ptrs NonNull? Is that intended? This (2 year old) comment would suggest so rust-lang/rfcs#433 (comment)
CC @RalfJung
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment