Wide pointer metadata validity: check that the vtable is for the right trait #3497
Description
With rust-lang/rust#123572, rustc started assuming for UB purposes that a vtable pointer points to a vtabe that's sufficiently big for the given trait. Miri currently isn't able to check that UB.