tests/ui/pattern/deref-pattern-box-constructor-mismatch.rs

//! Test that `deref!(_)` patterns and `Box { .. }` patterns can't be used
//! to match on the same place.
//! This is required for the current implementation of exhaustiveness analysis for deref patterns.

#![feature(deref_patterns)]

fn main() {
    match Box::new(0) {
        deref!(_) => {} //~ ERROR mix of deref patterns and normal constructors
        Box { .. } => {}
    }
}