diff options
Diffstat (limited to 'src/test/ui/let-else/let-else-non-diverging.rs')
-rw-r--r-- | src/test/ui/let-else/let-else-non-diverging.rs | 13 |
1 files changed, 13 insertions, 0 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 new file mode 100644 index 000000000..a1cee335a --- /dev/null +++ b/src/test/ui/let-else/let-else-non-diverging.rs @@ -0,0 +1,13 @@ +#![feature(let_else)] + +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 +} |