Miri panics on unsound Pin code

[oli-obk]

Corresponding rust issue: rust-lang/rust#66544
Playground example from irlo: https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=70b7b28b690e0020f52695b9e086f5c2

Panic message:

thread 'rustc' panicked at 'called `Result::unwrap()` on an `Err` value: ImmTy { imm: ScalarPair(AllocId(546).0x8[<1474>], AllocId(547).0x0[<untagged>]), layout: TyLayout { ty: std::pin::Pin<&mut dyn Dubious>, details: LayoutDetails { variants: Single { index: 0 }, fields: Arbitrary { offsets: [Size { raw: 0 }], memory_index: [0] }, abi: ScalarPair(Scalar { value: Pointer, valid_range: 1..=18446744073709551615 }, Scalar { value: Pointer, valid_range: 1..=18446744073709551615 }), largest_niche: Some(Niche { offset: Size { raw: 0 }, scalar: Scalar { value: Pointer, valid_range: 1..=18446744073709551615 } }), align: AbiAndPrefAlign { abi: Align { pow2: 3 }, pref: Align { pow2: 3 } }, size: Size { raw: 16 } } } }', src/libcore/result.rs:1165:5

[RalfJung]

My guess is that this is a duplicate of #1038... could you capture a stacktrace to confirm?

[oli-obk]

Yes, it's the same error