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

[FIR] extract functionality to a public function to use from Analysis API

Browse Source 
^KT-62090
This commit is contained in:
Ilya Kirillov
2023-09-20 11:18:01 +02:00
committed by Space Team
parent a561a8e531
commit e2d248b76d
1 changed files with 8 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/fir/providers/src/org/jetbrains/kotlin/fir/scopes/FirKotlinScopeProvider.kt
+8 -4
View File
@@ -165,10 +165,7 @@ fun ConeKotlinType.scopeForSupertype(
val symbol = lookupTag.toSymbol(useSiteSession) as? FirRegularClassSymbol ?: return null
val substitutor = when {
this.type.attributes.contains(CompilerConeAttributes.RawType) -> ConeRawScopeSubstitutor(useSiteSession)
else -> substitutor(symbol, this, useSiteSession)
}
val substitutor = substitutorForSuperType(useSiteSession, symbol)
return symbol.fir.scopeForClassImpl(
substitutor,
@@ -182,6 +179,13 @@ fun ConeKotlinType.scopeForSupertype(
)
}
fun ConeClassLikeType.substitutorForSuperType(useSiteSession: FirSession, classTypeSymbol: FirRegularClassSymbol): ConeSubstitutor {
return when {
this.type.attributes.contains(CompilerConeAttributes.RawType) -> ConeRawScopeSubstitutor(useSiteSession)
else -> substitutor(classTypeSymbol, this, useSiteSession)
}
}
private fun substitutor(symbol: FirRegularClassSymbol, type: ConeClassLikeType, useSiteSession: FirSession): ConeSubstitutor {
if (type.typeArguments.isEmpty()) return ConeSubstitutor.Empty
val originalSubstitution = createSubstitutionForScope(symbol.fir.typeParameters, type, useSiteSession)