We already have a prototype that works for other cases where reified generics are not in use. As I understand the current state of metaprogramming in Kotlin this is esentially getting the

inline

chain back until the point where it is inlined at the call site.