Add example

Author: est31

src/statements.md

@@ -74,6 +74,17 @@ The `else` block must always diverge (evaluate to the [never type]).
 If an `else` block is present, restrictions apply on the expression:
 It must not be a [_LazyBooleanExpression_], or end in a `}` token.
 
+```rust
+let (mut v, w) = (vec![1, 2, 3], 42); // The bindings may be mut or const
+let Some(t) = v.pop() else { // Refutable patterns require an else block
+    panic!(); // The else block must diverge
+};
+let [u, v] = [v[0], v[1]] else { // This pattern is irrefutable, so the compiler
+                                 // will lint as the else block is redundant.
+    panic!();
+};
+```
+
 ## Expression statements
 
 > **<sup>Syntax</sup>**\