Sure, something like `FooKt.foo` :slightly_smiling...

# language-proposals

[dmitry.petrov]

Sure, something like FooKt.foo 🙂
I meant that either there is a Java interface for IBase,
and then you can extend it, breaking sealed-related assumptions,
or there is a Java class,
and then it's just "sealed class",
or there is none ("sealed interfaces are inlined"),
and then it's some more general type, breaking type safety.