Reuse captured arguments for flexible type's bounds properly, by equality of type constructors modulo mutability and type argument

^KT-43630 Fixed

compiler/testData/diagnostics/tests/inference/capturedTypes/capturedFlexibleIntersectionTypesWithDifferentBounds.fir.kt

@@ -0,0 +1,23 @@
+// FILE: Bar.java
+// !DIAGNOSTICS: -UNUSED_PARAMETER
+// SKIP_TXT
+
+public class Bar<K, N> { }
+
+// FILE: Foo.java
+
+public class Foo<P> extends Bar<Integer, Integer> {
+    public static final Bar bar = null;
+}
+
+// FILE: main.kt
+
+fun <P> takeFoo(foo: Foo<P>) {}
+
+fun main(x: Foo<*>?) {
+    val y = Foo.bar
+    if (y !is Foo<*>?) return
+    if (y == null) return
+    if (x != y) return
+    takeFoo(x) // Here we capture `{Bar<Any!, Any!> & Foo<*>}..Foo<*>?`
+}

compiler/testData/diagnostics/tests/inference/capturedTypes/capturedFlexibleIntersectionTypesWithDifferentBounds.kt

@@ -0,0 +1,23 @@
+// FILE: Bar.java
+// !DIAGNOSTICS: -UNUSED_PARAMETER
+// SKIP_TXT
+
+public class Bar<K, N> { }
+
+// FILE: Foo.java
+
+public class Foo<P> extends Bar<Integer, Integer> {
+    public static final Bar bar = null;
+}
+
+// FILE: main.kt
+
+fun <P> takeFoo(foo: Foo<P>) {}
+
+fun main(x: Foo<*>?) {
+    val y = Foo.bar
+    if (y !is Foo<*>?) return
+    if (y == null) return
+    if (x != y) return
+    takeFoo(<!DEBUG_INFO_SMARTCAST!>x<!>) // Here we capture `{Bar<Any!, Any!> & Foo<*>}..Foo<*>?`
+}

compiler/testData/diagnostics/tests/inference/capturedTypes/capturedFlexibleIntersectionTypesWithDifferentConstructors.fir.kt

@@ -0,0 +1,29 @@
+// FULL_JDK
+// !DIAGNOSTICS: -UNUSED_PARAMETER
+// SKIP_TXT
+
+// FILE: Bar.java
+
+public class Bar<K, N> { }
+
+// FILE: Foo.java
+
+import java.util.List;
+
+public class Foo<P> extends Bar<Integer, Integer> {
+    public static final List<?> bar = null;
+}
+
+// FILE: main.kt
+
+fun <P> takeFoo(foo: Foo<P>) {}
+
+fun main(x: Foo<*>?) {
+    val y = Foo.bar
+    if (y !is Foo<*>?) return
+    if (y == null) return
+    if (x != y) return
+    // Here we capture `({Foo<*> & MutableList<*>}..{Foo<*>? & List<*>?})`
+    // `*` inside `MutableList` and `List` have to become the same captured type
+    takeFoo(x)
+}

compiler/testData/diagnostics/tests/inference/capturedTypes/capturedFlexibleIntersectionTypesWithDifferentConstructors.kt

@@ -0,0 +1,29 @@
+// FULL_JDK
+// !DIAGNOSTICS: -UNUSED_PARAMETER
+// SKIP_TXT
+
+// FILE: Bar.java
+
+public class Bar<K, N> { }
+
+// FILE: Foo.java
+
+import java.util.List;
+
+public class Foo<P> extends Bar<Integer, Integer> {
+    public static final List<?> bar = null;
+}
+
+// FILE: main.kt
+
+fun <P> takeFoo(foo: Foo<P>) {}
+
+fun main(x: Foo<*>?) {
+    val y = Foo.bar
+    if (y !is Foo<*>?) return
+    if (y == null) return
+    if (x != y) return
+    // Here we capture `({Foo<*> & MutableList<*>}..{Foo<*>? & List<*>?})`
+    // `*` inside `MutableList` and `List` have to become the same captured type
+    takeFoo(<!DEBUG_INFO_SMARTCAST!>x<!>)
+}