reference switch에서 두 branch가 담당하는 입력이 다르다.
null reference를 명시적으로 처리한다
non-null unmatched type을 처리한다
핵심: default가 null까지 자동 처리한다고 가정하지 않는다.