Add example

src/statements.md

@@ -72,6 +72,17 @@ The `else` block has to always diverge (evaluate to type `!`).
 If an `else` block is present, restrictions apply on the expression:
 It might 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 has to 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>**\