null pattern과 default case

reference switch에서 두 branch가 담당하는 입력이 다르다.

case null

null reference를 명시적으로 처리한다

absence

default

non-null unmatched type을 처리한다

other type
계약null 금지면 switch 전에 requireNonNull로 실패시킨다

핵심: default가 null까지 자동 처리한다고 가정하지 않는다.