[NI] Fix error type approximation in ILTApproximatorConfiguration

#KT-31441 Fixed

compiler/resolution/src/org/jetbrains/kotlin/types/TypeApproximator.kt

@@ -96,6 +96,8 @@ open class TypeApproximatorConfiguration {
         override val allFlexible: Boolean get() = true
         override val intersection get() = ALLOWED
         override val typeVariable: (TypeVariableTypeConstructorMarker) -> Boolean get() = { true }
+        override val errorType: Boolean get() = true
+
         override fun capturedType(ctx: TypeSystemInferenceExtensionContext, type: CapturedTypeMarker): Boolean = true
     }
 }

idea/testData/intentions/removeExplicitTypeArguments/kt31441.kt

@@ -0,0 +1,10 @@
+// COMPILER_ARGUMENTS: -XXLanguage:+NewInference
+// IS_APPLICABLE: false
+
+interface List<T>
+
+class ArrayList<T> : List<T>
+
+fun test() {
+    val list: List<*> = ArrayList<caret><Any?>()
+}

idea/tests/org/jetbrains/kotlin/idea/intentions/IntentionTestGenerated.java

@@ -14624,6 +14624,11 @@ public class IntentionTestGenerated extends AbstractIntentionTest {
             runTest("idea/testData/intentions/removeExplicitTypeArguments/insideOtherCall.kt");
         }
 
+        @TestMetadata("kt31441.kt")
+        public void testKt31441() throws Exception {
+            runTest("idea/testData/intentions/removeExplicitTypeArguments/kt31441.kt");
+        }
+
         @TestMetadata("lambdaType.kt")
         public void testLambdaType() throws Exception {
             runTest("idea/testData/intentions/removeExplicitTypeArguments/lambdaType.kt");