replaceTypeVariables
open fun replaceTypeVariables(tp: ResolvedTypeParameterDeclaration, replaced: ResolvedType, inferredTypes: Map<ResolvedTypeParameterDeclaration, ResolvedType>): ResolvedType(source)
Replace all variables referring to the given TypeParameter with the given value. By replacing these values I could also infer some type equivalence. Those would be collected in the given map.
open fun replaceTypeVariables(tp: ResolvedTypeParameterDeclaration, replaced: ResolvedType): ResolvedType(source)
This is like (replaceTypeVariables but ignores the inferred values.