Mikhail Zarechenskiy a5ae1b38b0 Don't skip constraints from equations with the kind equal ...

The problem was that we didn't incorporate T == Foo into K <: Inv<out T>.
 It happened because of optimisation that isn't applicable here as we
 already have projection in the initial type

 #KT-39777 Fixed

2020-06-24 23:36:59 +03:00

..

src/org/jetbrains/kotlin

Don't skip constraints from equations with the kind equal

2020-06-24 23:36:59 +03:00

build.gradle.kts

Remove dependency of 'resolution' on 'deserialization'

2020-03-28 21:30:07 +01:00