[NI] Get rid of left FE 1.0 types in NewConstraintSystemImpl

compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/inference/ConeConstraintSystemUtilContext.kt

@@ -26,4 +26,9 @@ object ConeConstraintSystemUtilContext : ConstraintSystemUtilContext {
         // TODO, see TypeUtils.kt
         return this
     }
+
+    override fun TypeVariableMarker.isReified(): Boolean {
+        // TODO
+        return false
+    }
 }

compiler/resolution/src/org/jetbrains/kotlin/resolve/calls/inference/components/ClassicConstraintSystemUtilContext.kt

@@ -27,4 +27,9 @@ object ClassicConstraintSystemUtilContext : ConstraintSystemUtilContext {
         require(this is KotlinType)
         return unCaptureKotlinType().unwrap()
     }
+
+    override fun TypeVariableMarker.isReified(): Boolean {
+        if (this !is TypeVariableFromCallableDescriptor) return false
+        return originalTypeParameter.isReified
+    }
 }

compiler/resolution/src/org/jetbrains/kotlin/resolve/calls/inference/components/ConstraintSystemUtilContext.kt

@@ -17,4 +17,5 @@ interface ConstraintSystemUtilContext {
     fun TypeVariableMarker.shouldBeFlexible(): Boolean
     fun TypeVariableMarker.hasOnlyInputTypesAttribute(): Boolean
     fun KotlinTypeMarker.unCapture(): KotlinTypeMarker
+    fun TypeVariableMarker.isReified(): Boolean
 }

compiler/resolution/src/org/jetbrains/kotlin/resolve/calls/inference/model/NewConstraintSystemImpl.kt

@@ -363,14 +363,13 @@ class NewConstraintSystemImpl(
 
     // ResultTypeResolver.Context, VariableFixationFinder.Context
     override fun isReified(variable: TypeVariableMarker): Boolean {
-        if (variable !is TypeVariableFromCallableDescriptor) return false
+        return with(utilContext) { variable.isReified() }
-        return variable.originalTypeParameter.isReified
     }
 
     override fun bindingStubsForPostponedVariables(): Map<TypeVariableMarker, StubTypeMarker> {
         checkState(State.BUILDING, State.COMPLETION)
         // TODO: SUB
-        return storage.postponedTypeVariables.associate { it to createStubType(it)/*StubType(it.freshTypeConstructor() as TypeConstructor, it.defaultType().isMarkedNullable())*/ }
+        return storage.postponedTypeVariables.associateWith { createStubType(it) }
     }
 
     override fun currentStorage(): ConstraintStorage {