use is_equivalent for everything except TypeVar and ParamSpec

python · Apr 9, 2022 · 272de9a · 272de9a
1 parent da5adc9
commit 272de9a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/mypy/subtypes.py b/mypy/subtypes.py
@@ -294,7 +294,7 @@ def visit_instance(self, left: Instance) -> bool:
                         if not self.check_type_parameter(lefta, righta, COVARIANT):
                             nominal = False
                     else:
-                        if not self.check_type_parameter(lefta, righta, COVARIANT):
+                        if not is_equivalent(lefta, righta):
                             nominal = False
                 if nominal:
                     TypeState.record_subtype_cache_entry(self._subtype_kind, left, right)