[FIR] Keep bare type for type alias case

compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/TypeExpansionUtils.kt

@@ -71,6 +71,9 @@ private fun mapTypeAliasArguments(
     abbreviatedType: ConeClassLikeType,
     resultingType: ConeClassLikeType,
 ): ConeKotlinType {
+    if (typeAlias.typeParameters.isNotEmpty() && abbreviatedType.typeArguments.isEmpty()) {
+        return resultingType.lookupTag.constructClassType(emptyArray(), resultingType.isNullable)
+    }
     val typeAliasMap = typeAlias.typeParameters.map { it.symbol }.zip(abbreviatedType.typeArguments).toMap()
 
     val substitutor = object : AbstractConeSubstitutor() {

compiler/testData/codegen/box/super/basicmethodSuperClass.kt

@@ -1,4 +1,3 @@
-// IGNORE_BACKEND_FIR: JVM_IR
 // KJS_WITH_FULL_RUNTIME
 // IGNORE_BACKEND: NATIVE
 

compiler/testData/diagnostics/tests/typealias/typeAliasConstructorInferenceInSupertypesList.fir.kt

@@ -3,5 +3,5 @@ open class Ref<T>(var x: T)
 typealias R<T> = Ref<T>
 
 // Type inference SHOULD NOT work for type alias constructor in supertypes list
-class Test1 : <!INAPPLICABLE_CANDIDATE!>R<!>(0)
+class Test1 : R(0)
 class Test2 : R<Int>(0)