새 sealed subtype이 만드는 compile feedback

domain 확장이 operation 누락을 source migration으로 드러낸다.

  1. Subtype 추가

    permits에 새 case를 넣는다

    change

  2. Switch compile

    exhaustiveness가 깨진다

    signal

  3. Operation 검토

    render·status·message를 수정한다

    migration

  4. 완료

    모든 branch를 다시 처리한다

    safe

핵심: default가 모든 subtype을 삼키면 새 domain 의미의 누락을 숨길 수 있다.