From 0d81e14904a38bdf31c1346b52749f938e6d13ab Mon Sep 17 00:00:00 2001
From: Simon Ogorodnik <simon.ogorodnik@jetbrains.com>
Date: Mon, 15 Nov 2021 17:59:45 +0300
Subject: [PATCH] FIR: Remove default constraint stub type == synthetic
 variable

---
 .../resolve/inference/FirDelegatedPropertyInferenceSession.kt  | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/inference/FirDelegatedPropertyInferenceSession.kt b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/inference/FirDelegatedPropertyInferenceSession.kt
index f0ce41784c7..0dc1216b47c 100644
--- a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/inference/FirDelegatedPropertyInferenceSession.kt
+++ b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/inference/FirDelegatedPropertyInferenceSession.kt
@@ -33,9 +33,6 @@ class FirDelegatedPropertyInferenceSession(
             val stubToTypeVariableSubstitutor = createToSyntheticTypeVariableSubstitutor()
             syntheticTypeVariableByTypeVariable.values.forEach {
                 system.registerVariable(it)
-                val stubType =
-                    stubTypeBySyntheticTypeVariable[it]!!
-                system.addEqualityConstraint(it.defaultType, stubType, SimpleConstraintSystemConstraintPosition)
             }
             partiallyResolvedCalls.forEach { (_, candidate) ->
                 integrateConstraints(