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

[FIR] Don't check class super type annotations for loops

Browse Source 
Only do it for typealiases.

#KT-64059 Fixed
This commit is contained in:
Kirill Rakhman
2023-12-14 14:19:30 +01:00
committed by Space Team
parent 984493fe8b
commit 242e16baea
7 changed files with 46 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/transformers/FirSupertypesResolution.kt
+6 -4
View File
@@ -721,10 +721,12 @@ open class SupertypeComputationSession {
var isErrorInSupertypesFound = false
val resultSupertypeRefs = mutableListOf<FirResolvedTypeRef>()
for (supertypeRef in supertypeRefs) {
for (annotation in supertypeRef.annotations) {
val resolvedType = annotation.resolvedType as? ConeClassLikeType ?: continue
val typeArgumentClassLikeDeclaration = resolvedType.lookupTag.toSymbol(session)?.fir
checkIsInLoop(typeArgumentClassLikeDeclaration, wasSubtypingInvolved, wereTypeArgumentsInvolved)
if (isTypeAlias) {
for (annotation in supertypeRef.annotations) {
val resolvedType = annotation.resolvedType as? ConeClassLikeType ?: continue
val typeArgumentClassLikeDeclaration = resolvedType.lookupTag.toSymbol(session)?.fir
checkIsInLoop(typeArgumentClassLikeDeclaration, wasSubtypingInvolved, wereTypeArgumentsInvolved)
}
}
val supertypeFir = supertypeRef.firClassLike(session)
checkIsInLoop(supertypeFir, isSubtypingInvolved, wereTypeArgumentsInvolved)