1 Patterns used to bind names must be irrefutable, that is, they must guarantee
2 that a name will be extracted in all cases.
4 Erroneous code example:
9 // error: refutable pattern in local binding: `None` not covered
12 If you encounter this error you probably need to use a `match` or `if let` to
13 deal with the possibility of failure. Example: