src/tools/miri/tests/fail/validity/wrong-dyn-trait.rs

use std::{fmt, mem};

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