diff --git a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/calls/CreateFreshTypeVariableSubstitutorStage.kt b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/calls/CreateFreshTypeVariableSubstitutorStage.kt
index bda80f98d82..6a30160a385 100644
--- a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/calls/CreateFreshTypeVariableSubstitutorStage.kt
+++ b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/calls/CreateFreshTypeVariableSubstitutorStage.kt
@@ -52,16 +52,6 @@ internal object CreateFreshTypeVariableSubstitutorStage : ResolutionStage() {
             val typeParameter = typeParameters[index]
             val freshVariable = freshVariables[index]
 
-//            val knownTypeArgument = knownTypeParametersResultingSubstitutor?.substitute(typeParameter.defaultType)
-//            if (knownTypeArgument != null) {
-//                csBuilder.addEqualityConstraint(
-//                    freshVariable.defaultType,
-//                    knownTypeArgument.unwrap(),
-//                    KnownTypeParameterConstraintPosition(knownTypeArgument)
-//                )
-//                continue
-//            }
-
             when (val typeArgument = candidate.typeArgumentMapping[index]) {
                 is FirTypeProjectionWithVariance -> csBuilder.addEqualityConstraint(
                     freshVariable.defaultType,