Is there a good technical reason why `typeOf` does...

# compiler

[Gat Tag]

Is there a good technical reason why typeOf does not populate KType annotations on JVM other than it wasn't possible in the compiler 4 years ago?

[udalov]

Not that I know of. Now that we have annotation instantiation in the language, this should be easy to support.

[udalov]

KT-29919