[FIR][checkers][Wasm] Expand type aliases in FirWasmExternalInheritanceChecker

#KT-66473 Fixed
This commit is contained in:
Stanislav Ruban
2024-03-11 03:56:56 +02:00
committed by Space Team
parent 4d17a908e2
commit 0549c6c75b
2 changed files with 3 additions and 2 deletions
@@ -14,6 +14,7 @@ import org.jetbrains.kotlin.fir.analysis.checkers.declaration.FirClassChecker
import org.jetbrains.kotlin.fir.analysis.checkers.toClassLikeSymbol
import org.jetbrains.kotlin.fir.analysis.diagnostics.wasm.FirWasmErrors
import org.jetbrains.kotlin.fir.declarations.FirClass
import org.jetbrains.kotlin.fir.declarations.fullyExpandedClass
import org.jetbrains.kotlin.fir.declarations.utils.isEffectivelyExternal
import org.jetbrains.kotlin.fir.declarations.utils.isExpect
import org.jetbrains.kotlin.fir.types.coneType
@@ -38,7 +39,7 @@ sealed class FirWasmExternalInheritanceChecker(mppKind: MppCheckerKind) : FirCla
val session = context.session
val isCurrentClassExternal = declaration.symbol.isEffectivelyExternal(session)
for (superTypeRef in declaration.superTypeRefs) {
val superClass = superTypeRef.toClassLikeSymbol(session) ?: continue
val superClass = (superTypeRef.toClassLikeSymbol(session)?.fullyExpandedClass(session) ?: continue)
if (superClass.classId == StandardClassIds.Any) continue // External classes can extend Any
val isSuperClassExternal = superClass.isEffectivelyExternal(session)
@@ -25,4 +25,4 @@ external interface EI2
typealias TA1 = EI2
external class <!EXTERNAL_TYPE_EXTENDS_NON_EXTERNAL_TYPE!>EC4<!> : TA1
external class EC4 : TA1