새 sealed subtype은 누락된 처리를 compile feedback으로 퍼뜨린다

default case로 모든 미래 subtype을 삼키면 새 variant가 기존 연산에서 조용히 잘못 처리될 수 있습니다.

새 subtype 추가permits + SaveDraft

render switch

새 case 필요

validate switch

새 규칙 필요

serialize switch

새 schema 필요

tests

새 variant fixture

public consumers

호환성 변경 공지

핵심: permits에 subtype을 추가할 때 exhaustive switch 오류가 수정해야 할 소비자 목록을 만듭니다.