diff options
Diffstat (limited to '')
-rw-r--r-- | src/test/ui/let-else/let-else-non-diverging.rs | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/src/test/ui/let-else/let-else-non-diverging.rs b/src/test/ui/let-else/let-else-non-diverging.rs index a1cee335a..a5442dd82 100644 --- a/src/test/ui/let-else/let-else-non-diverging.rs +++ b/src/test/ui/let-else/let-else-non-diverging.rs @@ -1,5 +1,3 @@ -#![feature(let_else)] - fn main() { let Some(x) = Some(1) else { //~ ERROR does not diverge Some(2) @@ -10,4 +8,15 @@ fn main() { } }; let Some(x) = Some(1) else { Some(2) }; //~ ERROR does not diverge + + // Ensure that uninhabited types do not "diverge". + // This might be relaxed in the future, but when it is, + // it should be an explicitly wanted decision. + let Some(x) = Some(1) else { foo::<Uninhabited>() }; //~ ERROR does not diverge +} + +enum Uninhabited {} + +fn foo<T>() -> T { + panic!() } |