let (x, y) = pair처럼 항상 맞는 구조입니다.
Refutability
반박 가능성 판정표
패턴이 어떤 값에는 실패하면 반박 가능, 반드시 맞으면 반박 불가능입니다. 위치에 따라 허용되는 패턴이 갈립니다.
실패 가능성에 맞는 문법 선택
Some(x)처럼 None에서는 실패할 수 있는 구조입니다.
let과 함수 인자는 기본적으로 반드시 성공해야 합니다.
if let과 while let은 실패 가능성을 흐름 제어로 씁니다.
refutable 위치 판정: let처럼 반드시 성공해야 하는 자리에는 irrefutable pattern을, if let이나 match arm에는 refutable pattern을 둡니다.