[NI] Complete contradictory candidates inside builder-inference

In this test `kotlin` was resolved to the extension
 `val Class<T>.kotlin` because it was saved in builder-inference.
 Usually, it's fine, but not for qualified expressions as they have
 fallback resolve in case of error
This commit is contained in:
Mikhail Zarechenskiy
2020-02-21 15:46:10 +03:00
parent 3398683093
commit f2f95496e3
7 changed files with 52 additions and 2 deletions
@@ -55,6 +55,9 @@ class CoroutineInferenceSession(
override fun shouldRunCompletion(candidate: KotlinResolutionCandidate): Boolean {
val system = candidate.getSystem() as NewConstraintSystemImpl
if (system.hasContradiction) return true
val storage = system.getBuilder().currentStorage()
fun ResolvedAtom.hasPostponed(): Boolean {
if (this is PostponedResolvedAtom && !analyzed) return true