Introduce optional optimization parameters for type system context

core/type-system/src/org/jetbrains/kotlin/types/AbstractStrictEqualityTypeChecker.kt

@@ -46,7 +46,7 @@ object AbstractStrictEqualityTypeChecker {
             return false
         }
 
-//        if (a.arguments === b.arguments) return true
+        if (identicalArguments(a, b)) return true
 
         for (i in 0 until a.argumentsCount()) {
             val aArg = a.getArgument(i)

core/type-system/src/org/jetbrains/kotlin/types/model/TypeSystemContext.kt

@@ -25,7 +25,15 @@ enum class TypeVariance {
     INV
 }
 
-interface TypeSystemContext {
+
+interface TypeSystemOptimizationContext {
+    /**
+     *  @return true is a.arguments == b.arguments, or false if not supported
+     */
+    fun identicalArguments(a: SimpleTypeIM, b: SimpleTypeIM) = false
+}
+
+interface TypeSystemContext : TypeSystemOptimizationContext {
     fun KotlinTypeIM.asSimpleType(): SimpleTypeIM?
     fun KotlinTypeIM.asFlexibleType(): FlexibleTypeIM?