- Sort Score
- Result 10 results
- Languages All
Results 1 - 3 of 3 for haveCommonSubtype (0.19 sec)
-
analysis/analysis-api/src/org/jetbrains/kotlin/analysis/api/components/KtTypeProvider.kt
public abstract fun withNullability(type: KaType, newNullability: KaTypeNullability): KaType public abstract fun haveCommonSubtype(a: KaType, b: KaType): Boolean public abstract fun getImplicitReceiverTypesAtPosition(position: KtElement): List<KaType>
Registered: Wed Jun 12 09:53:16 UTC 2024 - Last Modified: Tue Jun 11 15:45:42 UTC 2024 - 11.4K bytes - Viewed (0) -
analysis/analysis-api-fir/src/org/jetbrains/kotlin/analysis/api/fir/components/KtFirTypeProvider.kt
require(type is KaFirType) return type.coneType.withNullability(newNullability.toConeNullability(), rootModuleSession.typeContext).asKtType() } override fun haveCommonSubtype(a: KaType, b: KaType): Boolean { return analysisSession.useSiteSession.typeContext.isCompatible( a.coneType, b.coneType ) == ConeTypeCompatibilityChecker.Compatibility.COMPATIBLE
Registered: Wed Jun 12 09:53:16 UTC 2024 - Last Modified: Fri Jun 07 10:25:23 UTC 2024 - 16.4K bytes - Viewed (0) -
analysis/analysis-api-fe10/src/org/jetbrains/kotlin/analysis/api/descriptors/components/KtFe10TypeProvider.kt
require(type is KaFe10Type) return type.fe10Type.makeNullableAsSpecified(newNullability == KaTypeNullability.NULLABLE).toKtType(analysisContext) } override fun haveCommonSubtype(a: KaType, b: KaType): Boolean { return areTypesCompatible((a as KaFe10Type).fe10Type, (b as KaFe10Type).fe10Type) } override fun getImplicitReceiverTypesAtPosition(position: KtElement): List<KaType> {
Registered: Wed Jun 12 09:53:16 UTC 2024 - Last Modified: Tue Jun 11 15:45:42 UTC 2024 - 23.3K bytes - Viewed (0)