From 218caa410aa38c29984be31a5229b9fa717560ee Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Wed, 17 Apr 2024 14:19:13 +0200 Subject: Merging upstream version 1.68.2+dfsg1. Signed-off-by: Daniel Baumann --- .../uninhabited-matches-feature-gated.rs | 39 ++++++++++++++++++++++ 1 file changed, 39 insertions(+) create mode 100644 tests/ui/uninhabited/uninhabited-matches-feature-gated.rs (limited to 'tests/ui/uninhabited/uninhabited-matches-feature-gated.rs') diff --git a/tests/ui/uninhabited/uninhabited-matches-feature-gated.rs b/tests/ui/uninhabited/uninhabited-matches-feature-gated.rs new file mode 100644 index 000000000..e804afcf9 --- /dev/null +++ b/tests/ui/uninhabited/uninhabited-matches-feature-gated.rs @@ -0,0 +1,39 @@ +use std::mem::zeroed; +enum Void {} + +fn main() { + let x: Result = Ok(23); + let _ = match x { //~ ERROR non-exhaustive + Ok(n) => n, + }; + + // This is pretty much instant UB. However, we have no choice -- we need to + // test matching on a reference to `&Void`; we cannot do anything other than + // just accept the fact that this is UB if `main` did run, but it doesn't; + // this test only checks that these are feature-gated. + let x: &Void = unsafe { zeroed() }; + let _ = match x {}; //~ ERROR non-exhaustive + + let x: (Void,) = unsafe { zeroed() }; + let _ = match x {}; //~ ERROR non-exhaustive + + let x: [Void; 1] = unsafe { zeroed() }; + let _ = match x {}; //~ ERROR non-exhaustive + + let x: &[Void] = unsafe { zeroed() }; + let _ = match x { //~ ERROR non-exhaustive + &[] => (), + }; + + let x: Void = unsafe { zeroed() }; + let _ = match x {}; // okay + + let x: Result = Ok(23); + let _ = match x { //~ ERROR non-exhaustive + Ok(x) => x, + }; + + let x: Result = Ok(23); + let Ok(x) = x; + //~^ ERROR refutable +} -- cgit v1.2.3