강제 cast와 exact primitive pattern

정보 손실을 먼저 만들지 않고 변환 가능성을 검사한다.

Explicit narrowing

범위 밖 값도 wrap·truncate한 결과를 만든다

lossy

Primitive pattern

현재 값이 target에 exact할 때만 binding한다

guarded
원칙원래 넓은 value를 match candidate로 유지한다

핵심: overflow나 선행 cast로 이미 잃은 정보는 pattern이 복구하지 못한다.