[FIR] Actualize expect nested classes in type arguments in expect actual

...checker.

^KT-31636

compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/transformers/mpp/FirExpectActualMatchingContextImpl.kt

@@ -365,10 +365,23 @@ class FirExpectActualMatchingContextImpl private constructor(
         if (this is ConeClassLikeType && classId?.isNestedClass == true) {
             val classSymbol = classId.toSymbol(actualSession)
             if (classSymbol is FirRegularClassSymbol && classSymbol.isExpect) {
-                tryExpandExpectNestedClassActualizedViaTypealias(this, classSymbol)?.let { return it }
+                tryExpandExpectNestedClassActualizedViaTypealias(this, classSymbol)?.let {
+                    return it.actualizeTypeArguments()
+                }
             }
         }
-        return fullyExpandedType(actualSession)
+        return fullyExpandedType(actualSession).actualizeTypeArguments()
+    }
+
+    private fun ConeKotlinType.actualizeTypeArguments(): ConeKotlinType {
+        if (this !is ConeClassLikeType) {
+            return this
+        }
+        return withArguments { arg ->
+            if (arg is ConeKotlinTypeProjection) {
+                arg.replaceType(arg.type.actualize()) as ConeTypeProjection
+            } else arg
+        }
     }
 
     /**

compiler/testData/diagnostics/tests/multiplatform/nestedClassViaActualTypealiasExpandInTypeParam.fir.kt

@@ -14,4 +14,4 @@ class FooImpl {
     }
 }
 
-actual typealias <!NO_ACTUAL_CLASS_MEMBER_FOR_EXPECTED_CLASS!>Foo<!> = FooImpl
+actual typealias Foo = FooImpl

compiler/testData/diagnostics/tests/multiplatform/nestedClassViaActualTypealiasExpandInTypeParam.ll.kt

@@ -14,4 +14,4 @@ class FooImpl {
     }
 }
 
-actual typealias <!NO_ACTUAL_CLASS_MEMBER_FOR_EXPECTED_CLASS!>Foo<!> = FooImpl
+actual typealias Foo = FooImpl