A modern programming language that makes developers happier.

kotlinlang

Cross-posting: <https://kotlinlang.slack.com/archives/C0B9K7EP2/p1692894030189349>

I see your point that you basically want to define an interface where `this` is required to be of that other sealed type, and thus the onus would be on the implementer's compiler to check that it's valid for them to implement that type. I think it's really just a missing feature, perhaps impeded by some limitations in the compiler. The solution rn would be to copy over the same definitions you need into your new interface, and thus if one implements both, everything would just work out

I'm curious, does anyone know the best way to submit this for consideration by the language/compiler team(s)?

Youtrack would be your best bet: <http://kotl.in/issue|kotl.in/issue>