azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

[FIR] Unwrap typealias-bounds in FirTypeParameterBoundsChecker

Browse Source 
This change makes sure the test introduced
in the previous commit doesn't crash
the compiler.

^KT-64644 Fixed
This commit is contained in:
Nikolay Lunyak
2024-01-03 13:56:29 +02:00
committed by Space Team
parent 7c3042772e
commit 533ed5c622
1 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/fir/providers/src/org/jetbrains/kotlin/fir/types/TypeUtils.kt
+3 -2
View File
@@ -561,13 +561,14 @@ fun ConeKotlinType.canHaveSubtypes(session: FirSession): Boolean {
if (this.isMarkedNullable) { if (this.isMarkedNullable) {
return true return true
} }
val classSymbol = toRegularClassSymbol(session) ?: return true val expandedType = fullyExpandedType(session)
val classSymbol = expandedType.toSymbol(session) as? FirRegularClassSymbol ?: return true
if (classSymbol.isEnumClass || classSymbol.isExpect || classSymbol.modality != Modality.FINAL) { if (classSymbol.isEnumClass || classSymbol.isExpect || classSymbol.modality != Modality.FINAL) {
return true return true
} }
classSymbol.typeParameterSymbols.forEachIndexed { idx, typeParameterSymbol -> classSymbol.typeParameterSymbols.forEachIndexed { idx, typeParameterSymbol ->
val typeProjection = typeArguments[idx] val typeProjection = expandedType.typeArguments[idx]
if (typeProjection.isStarProjection) { if (typeProjection.isStarProjection) {
return true return true