From 9ca37a3b66bed19437dffe299e996cb25ae5f64b Mon Sep 17 00:00:00 2001
From: Henry Wylde <henry.wylde@jetbrains.com>
Date: Tue, 17 Feb 2026 15:25:00 +1300
Subject: [PATCH] misc [pycharm]: fix compilation, add case for `BIVARIANT` in
 when statement

GitOrigin-RevId: d4accabe79f184e85e07426de079baa0ea26f5f5
---
 .../com/jetbrains/python/psi/types/PyTypeInferenceCspSolver.kt  | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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