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

[Core API] Introduce useTypeRefinement analysis flag

Browse Source
This commit is contained in:
Dmitry Savvinov
2019-07-25 19:30:06 +03:00
parent 2fe3a23183
commit d08bed888c
2 changed files with 6 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/frontend/src/org/jetbrains/kotlin/config/AnalysisFlags.kt
+3
View File
@@ -32,4 +32,7 @@ object AnalysisFlags {
@JvmStatic @JvmStatic
val constraintSystemForOverloadResolution by AnalysisFlag.Delegates.ConstraintSystemForOverloadResolution val constraintSystemForOverloadResolution by AnalysisFlag.Delegates.ConstraintSystemForOverloadResolution
@JvmStatic
val useTypeRefinement by AnalysisFlag.Delegates.Boolean
} }
compiler/frontend/src/org/jetbrains/kotlin/config/KotlinTypeRefinerImpl.kt
+3
View File
@@ -139,6 +139,9 @@ class KotlinTypeRefinerImpl(
} }
} }
val LanguageVersionSettings.isTypeRefinementEnabled: Boolean
get() = getFlag(AnalysisFlags.useTypeRefinement)
private val TypeConstructor.allDependentTypeConstructors: Collection<TypeConstructor> private val TypeConstructor.allDependentTypeConstructors: Collection<TypeConstructor>
get() = when (this) { get() = when (this) {
is NewCapturedTypeConstructor -> { is NewCapturedTypeConstructor -> {