[NI] Reduced allowed depth in incorporation
We set it to 1 now, because otherwise there is examples where incorporation work too long. We will fix such cases in the future, but seems like 1 is also good depth delta for incorporation
This commit is contained in:
committed by
Stanislav Erokhin
parent
f31c48017b
commit
d1e52e76f9
+1
-1
@@ -31,7 +31,7 @@ import org.jetbrains.kotlin.types.typeUtil.isNullableAny
|
||||
import java.util.*
|
||||
|
||||
class ConstraintInjector(val constraintIncorporator: ConstraintIncorporator, val typeApproximator: TypeApproximator) {
|
||||
private val ALLOWED_DEPTH_DELTA_FOR_INCORPORATION = 3
|
||||
private val ALLOWED_DEPTH_DELTA_FOR_INCORPORATION = 1
|
||||
|
||||
interface Context {
|
||||
val allTypeVariables: Map<TypeConstructor, NewTypeVariable>
|
||||
|
||||
Reference in New Issue
Block a user