It's necessary because of new type substitutor is eager than odl, so if there is a substitution of type parameter deep inside type arguments then second substitutor wins against first #KT-35896 Fixed
Dmitriy Novozhilov