[FIR] Reproduce KT-64644

Ensure the given code crashes the
compiler.

^KT-64644

compiler/testData/diagnostics/tests/compilerCrashInTypeParameterBoundsChecker.fir.kt

@@ -0,0 +1,11 @@
+// ISSUE: KT-64644
+// WITH_STDLIB
+
+typealias MaybePair = Pair<Int, Int>?
+
+fun <T: <!FINAL_UPPER_BOUND!>MaybePair<!>> foo(x: T) {
+    if (x != null) {
+        println(x<!UNSAFE_CALL!>.<!>first)
+        println(x<!UNSAFE_CALL!>.<!>second)
+    }
+}

compiler/testData/diagnostics/tests/compilerCrashInTypeParameterBoundsChecker.kt

@@ -0,0 +1,11 @@
+// ISSUE: KT-64644
+// WITH_STDLIB
+
+typealias MaybePair = Pair<Int, Int>?
+
+fun <T: MaybePair> foo(x: T) {
+    if (x != null) {
+        println(<!DEBUG_INFO_SMARTCAST!>x<!>.first)
+        println(<!DEBUG_INFO_SMARTCAST!>x<!>.second)
+    }
+}