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.