concreteTypeUnify

fun concreteTypeUnify(knowConcreteType: KType, typeWithVariables: KType): Substitution?(source)

Return

null when it fails