2 let Some(x) = Some(1) else { //~ ERROR does not diverge
5 let Some(x) = Some(1) else { //~ ERROR does not diverge
10 let Some(x) = Some(1) else { Some(2) }; //~ ERROR does not diverge
12 // Ensure that uninhabited types do not "diverge".
13 // This might be relaxed in the future, but when it is,
14 // it should be an explicitly wanted decision.
15 let Some(x) = Some(1) else { foo::<Uninhabited>() }; //~ ERROR does not diverge