src/test/ui/match/issue-70972-dyn-trait.rs

const F: &'static dyn Send = &7u32;

fn main() {
    let a: &dyn Send = &7u32;
    match a {
        F => panic!(),
        //~^ ERROR trait objects cannot be used in patterns
        _ => {}
    }
}