A modern programming language that makes developers happier.

kotlinlang

Are there plans to introduce a compiler intrinsic to get a list of supertypes of a reified type T, similar to the new `typeOf`?

That would only work within a compilation unit, because only then all occurrences of a method call would be known to the compiler. But as soon as someone calls that method from a different module, the derived supertype might not longer apply. If you want to narrow the supertype in a reified method, you can do so by simply narrowing the generic type: `&lt;reified T: Number&gt;`