error[E0004]: non-exhaustive patterns: `deref!(true)` not covered --> $DIR/non-exhaustive.rs:7:11 | LL | match Box::new(false) { | ^^^^^^^^^^^^^^^ pattern `deref!(true)` not covered | note: `Box` defined here --> $SRC_DIR/alloc/src/boxed.rs:LL:COL = note: the matched value is of type `Box` help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown | LL ~ false => {}, LL + deref!(true) => todo!() | error[E0004]: non-exhaustive patterns: `deref!(deref!(false))` not covered --> $DIR/non-exhaustive.rs:12:11 | LL | match Box::new(Box::new(false)) { | ^^^^^^^^^^^^^^^^^^^^^^^^^ pattern `deref!(deref!(false))` not covered | note: `Box>` defined here --> $SRC_DIR/alloc/src/boxed.rs:LL:COL = note: the matched value is of type `Box>` help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown | LL ~ true => {}, LL + deref!(deref!(false)) => todo!() | error[E0004]: non-exhaustive patterns: `deref!((true, deref!(true)))` and `deref!((false, deref!(false)))` not covered --> $DIR/non-exhaustive.rs:17:11 | LL | match Box::new((true, Box::new(false))) { | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ patterns `deref!((true, deref!(true)))` and `deref!((false, deref!(false)))` not covered | note: `Box<(bool, Box)>` defined here --> $SRC_DIR/alloc/src/boxed.rs:LL:COL = note: the matched value is of type `Box<(bool, Box)>` help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern, a match arm with multiple or-patterns as shown, or multiple match arms | LL ~ (false, true) => {}, LL + deref!((true, deref!(true))) | deref!((false, deref!(false))) => todo!() | error[E0004]: non-exhaustive patterns: `deref!((deref!(T::C), _))` not covered --> $DIR/non-exhaustive.rs:24:11 | LL | match Box::new((Box::new(T::A), Box::new(T::A))) { | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ pattern `deref!((deref!(T::C), _))` not covered | note: `Box<(Box, Box)>` defined here --> $SRC_DIR/alloc/src/boxed.rs:LL:COL = note: the matched value is of type `Box<(Box, Box)>` help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown | LL ~ (T::A | T::B, T::C) => {}, LL + deref!((deref!(T::C), _)) => todo!() | error: aborting due to 4 previous errors For more information about this error, try `rustc --explain E0004`.