@voddan: never mind regarding KT-12897 😉. Having reified types on non-inline functions and be able to use static dispatch, because of copying the function instead of inlining, is a great thing IMHO. Especially: you cannot write recursive inline functions, but you can write recursive reified type methods with either copying or adding the implicit parameter...