resolveSimpleTypeVariableInUniverse
open fun resolveSimpleTypeVariableInUniverse(universe: Map<TypeVariable<out Any>, Type>, query: TypeVariable<out Any>): Optional<Type>(source)
Given a universe of assignments for type-variables, resolve type-variables to a concrete non-generic type (at the top level). This will not implicitly resolve constructs like U = List<T>, T = String, U?, instead keeping resolving U? = List<T>.