about summary refs log tree commit diff
path: root/src/tools/miri/tests/fail/validity/wrong-dyn-trait.rs
blob: d6049196f2662d133afa447f1a1788f9c25989d7 (plain)
1
2
3
4
5
6
use std::{fmt, mem};

fn main() {
    let x: &dyn Send = &0;
    let _y: *const dyn fmt::Debug = unsafe { mem::transmute(x) }; //~ERROR: wrong trait
}