При использовании запечатанных классов компилятор проверяет только подтипы в одном и том же файле.
Одна из самых больших выгод от продаж закрытых классов - это исчерпывающие проверки при использовании выражения when.Так почему же это не реализовано?
В одном файле у меня есть:
class C : B()
В другом файле у меня есть:
sealed class A
open class B : A()
fun switch(input: A) =
when(input) {
is B -> Unit
// is C -> Unit - I expect a compiler error since this is a subtype and it's commented out
}