diff options
Diffstat (limited to 'tests/ui/let-else/let-else-non-diverging.rs')
-rw-r--r-- | tests/ui/let-else/let-else-non-diverging.rs | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/tests/ui/let-else/let-else-non-diverging.rs b/tests/ui/let-else/let-else-non-diverging.rs new file mode 100644 index 000000000..a5442dd82 --- /dev/null +++ b/tests/ui/let-else/let-else-non-diverging.rs @@ -0,0 +1,22 @@ +fn main() { + let Some(x) = Some(1) else { //~ ERROR does not diverge + Some(2) + }; + let Some(x) = Some(1) else { //~ ERROR does not diverge + if 1 == 1 { + panic!(); + } + }; + 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!() +} |