diff --git a/python/python-psi-impl/src/com/jetbrains/python/psi/types/PyTypeInferenceCspSolver.kt b/python/python-psi-impl/src/com/jetbrains/python/psi/types/PyTypeInferenceCspSolver.kt
index ade6b579cd44..d629c05a7d1a 100644
--- a/python/python-psi-impl/src/com/jetbrains/python/psi/types/PyTypeInferenceCspSolver.kt
+++ b/python/python-psi-impl/src/com/jetbrains/python/psi/types/PyTypeInferenceCspSolver.kt
@@ -519,7 +519,7 @@ private object ConstraintReducer {
           return
         }
       }
-      Variance.INVARIANT -> {
+      Variance.INVARIANT, Variance.BIVARIANT -> {
         if (!sameTypes(left, right, cp.context)) {
           cp.fail()
           return