refutable pattern
A pattern that might not match.
A refutable pattern can fail to match (Some(x)); irrefutable patterns always match (x, (a, b)).
Examples
let Some(x) = opt;fails with E0005 becauseSome(x)might not match;let (a, b) = pair;is irrefutable and fine.