tests/ui/pattern/deref-patterns/default-infer.rs

//@ check-pass
#![feature(deref_patterns)]

fn main() {
    match <_ as Default>::default() {
        "" => (),
        _ => unreachable!(),
    }
}