编译器通过密封类的 permits 列表获得完整直接子类型集合，并结合子类型的密封性递归分析；对 sealed 接口的 non-sealed 子类视为开放类型，要求 default 分支。