diff --git a/mypy/join.py b/mypy/join.py
--- a/mypy/join.py
+++ b/mypy/join.py
@@ -9,6 +9,7 @@
 from mypy.nodes import CONTRAVARIANT, COVARIANT, INVARIANT
 from mypy.state import state
 from mypy.subtypes import (
+    SubtypeContext,
     find_member,
     is_equivalent,
     is_proper_subtype,
@@ -101,7 +102,9 @@ def join_instances(self, t: Instance, s: Instance) -> ProperType:
                 assert new_type is not None
                 args.append(new_type)
             result: ProperType = Instance(t.type, args)
-        elif t.type.bases and is_subtype(t, s, ignore_type_params=True):
+        elif t.type.bases and is_proper_subtype(
+            t, s, subtype_context=SubtypeContext(ignore_type_params=True)
+        ):
             result = self.join_instances_via_supertype(t, s)
         else:
             # Now t is not a subtype of s, and t != s. Now s could be a subtype
diff --git a/mypy/subtypes.py b/mypy/subtypes.py
--- a/mypy/subtypes.py
+++ b/mypy/subtypes.py
@@ -103,11 +103,7 @@ def check_context(self, proper_subtype: bool) -> None:
         # Historically proper and non-proper subtypes were defined using different helpers
         # and different visitors. Check if flag values are such that we definitely support.
         if proper_subtype:
-            assert (
-                not self.ignore_type_params
-                and not self.ignore_pos_arg_names
-                and not self.ignore_declared_variance
-            )
+            assert not self.ignore_pos_arg_names and not self.ignore_declared_variance
         else:
             assert not self.erase_instances and not self.keep_erased_types
 

diff --git a/test-data/unit/check-inference.test b/test-data/unit/check-inference.test
--- a/test-data/unit/check-inference.test
+++ b/test-data/unit/check-inference.test
@@ -3382,3 +3382,15 @@ class A:
 T = TypeVar("T")
 def type_or_callable(value: T, tp: Union[Type[T], Callable[[int], T]]) -> T: ...
 reveal_type(type_or_callable(A("test"), A))  # N: Revealed type is "__main__.A"
+
+[case testJoinWithAnyFallback]
+from unknown import X  # type: ignore[import]
+
+class A: ...
+class B(X, A): ...
+class C(B): ...
+class D(C): ...
+class E(D): ...
+
+reveal_type([E(), D()])  # N: Revealed type is "builtins.list[__main__.D]"
+reveal_type([D(), E()])  # N: Revealed type is "builtins.list[__main__.D]"

Incorrect join result in the presence of Any
Given `test.py`:
```
from unknown import X

class A: ...
class B(X, A): ...
class C(B): ...
class D(C): ...
class E(D): ...

reveal_type(E() if bool() else D())
```
Running `mypy test.py --ignore-missing-imports` gives `test.py:10: note: Revealed type is "x.A"`

Stepping through, things get unexpected starting here:
https://github.com/python/mypy/blob/1beed9af48bed07033490f8cf2d4e08229450c5f/mypy/join.py#L75

That is, mypy thinks `D` is a subtype of `E`!!! This seems obviously False; `E` is a subtype of `D`.

It turns out that due to the unknown type, `TypeInfo(D).fallback_to_any` is True, and so we throw our hands in the air and return True. 
https://github.com/python/mypy/blob/1beed9af48bed07033490f8cf2d4e08229450c5f/mypy/subtypes.py#L243

The following diff fixes this case, but needs to be investigated further:
```
diff --git a/mypy/join.py b/mypy/join.py
index d298b495f..392c79a07 100644
--- a/mypy/join.py
+++ b/mypy/join.py
@@ -72,7 +72,9 @@ class InstanceJoiner:
                 assert new_type is not None
                 args.append(new_type)
             result: ProperType = Instance(t.type, args)
-        elif t.type.bases and is_subtype(t, s, ignore_type_params=True):
+        elif t.type.bases and is_subtype(t, s, ignore_type_params=True) and not (
+            isinstance(t, Instance) and t.type.fallback_to_any
+        ):
             result = self.join_instances_via_supertype(t, s)
         else:
             # Now t is not a subtype of s, and t != s. Now s could be a subtype
```

Hey there , I am new to open source  I just have done some good first issue but I would love to work on this issue but if you allow me , and can you guide me in this??
mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferringLvarTypesInMultiDefWithNoneTypes mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferSimpleGvarType mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testTypeInferenceWithCalleeDefaultArgs mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testSetLiteral mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferringLvarTypesInNestedTupleAssignmentWithNoneTypes mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferSimpleLvarType mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testSetWithStarExpr mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testGenericFunctionInferenceWithMultipleInheritance mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testLvarInitializedToVoid mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferringLvarTypesInMultiDefWithInvalidTuple mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testGenericFunctionInferenceWithMultipleInheritance2 mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testListLiteralWithFunctionsErasesNames mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferringLvarTypeFromArgument mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInvalidRvalueTypeInInferredMultipleLvarDefinition mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testGenericFunctionInferenceWithMultipleInheritance3 mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferringLvarTypeFromGvar mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testListLiteralWithSimilarFunctionsErasesName mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInvalidRvalueTypeInInferredNestedTupleAssignment mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferringImplicitDynamicTypeForLvar mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testPrecedenceOfFirstBaseAsInferenceResult mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testListLiteralWithNameOnlyArgsDoesNotEraseNames mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferringMultipleLvarDefinitionWithListRvalue mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferringExplicitDynamicTypeForLvar mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferenceOfFor1 mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testNonOverloadedMapInference mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferringNestedTupleAssignmentWithListRvalue mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferringTupleTypeForLvar mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testGenericFunctionWithTypeTypeAsCallable mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferenceOfFor2 mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferringMultipleLvarDefinitionWithImplicitDynamicRvalue mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferringTupleTypeForLvarWithNones mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testUnionInference mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferenceOfFor3 mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferringMultipleLvarDefinitionWithExplicitDynamicRvalue mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testForStatementInferenceWithVoid mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferringTypesFromIterable mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testCallableListJoinInference mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferringGenericTypeForLvar mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testReusingInferredForIndex mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferringFunctionTypeForLvar mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferSimpleGenericFunction mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testCallableMeetAndJoin mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferringFunctionTypeForLvarFromTypeObject mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testReusingInferredForIndex2 mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferringGenericFunctionTypeForLvar mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferringLvarTypesInMultiDef mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testReusingInferredForIndex3 mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testUnderspecifiedInferenceResult mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testUnionInferenceWithTypeVarValues mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testMultipleAssignmentWithPartialDefinition mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferringLvarTypesInTupleAssignment mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferenceWithMultipleConstraints mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testUnionContext mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testMultipleAssignmentWithPartialDefinition2 mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferringLvarTypesInNestedTupleAssignment1 mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testGenericFunctionSubtypingWithUnions mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferenceWithMultipleVariables mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testMultipleAssignmentWithPartialDefinition3 mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferringLvarTypesInNestedTupleAssignment2 mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testAmbiguousUnionContextAndMultipleInheritance mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testConstraintSolvingWithSimpleGenerics mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferGlobalDefinedInBlock mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferringLvarTypesInNestedListAssignment mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testAmbiguousUnionContextAndMultipleInheritance2 mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testConstraintSolvingFailureWithSimpleGenerics mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferAttributeType mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testAssigningAnyStrToNone mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testAccessGlobalVarBeforeItsTypeIsAvailable mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferAttributeTypeAndAssignInInit mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferListInitializedToEmptyInClassBody mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testAccessDataAttributeBeforeItsTypeIsAvailable mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testDictLiteral mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferAttributeInInit mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferListInitializedToEmptyAndNotAnnotatedInClassBody mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testListWithDucktypeCompatibility mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferAttributeInInitUsingChainedAssignment mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferDictInitializedToEmptyAndIncompleteTypeInUpdate mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferListInitializedToEmptyInMethod mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferLambdaType mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferListInitializedToEmptyAndNotAnnotatedInMethod mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testListWithDucktypeCompatibilityAndTransitivity mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferDictInitializedToEmptyAndUpdatedFromMethod mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferLambdaType2 mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferListInitializedToEmpty mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferListInitializedToEmptyInMethodViaAttribute mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testUninferableLambda mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferDictInitializedToEmptyAndUpdatedFromMethodUnannotated mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferListInitializedToEmptyUsingUpdate mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferListInitializedToEmptyInClassBodyAndOverriden mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testUninferableLambdaWithTypeError mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testSpecialCaseEmptyListInitialization mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferListInitializedToEmptyAndNotAnnotated mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferSetInitializedToEmpty mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferLambdaNone mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testSpecialCaseEmptyListInitialization2 mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferSetInitializedToEmptyUsingDiscard mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferListInitializedToEmptyAndReadBeforeAppend mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferSetInitializedToEmptyUsingUpdate mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testLambdaDefaultContext mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferListInitializedToEmptyAndIncompleteTypeInAppend mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferListInitializedToEmptyAndAssigned mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferListInitializedToEmptyAndMultipleAssignment mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferDictInitializedToEmpty mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testLambdaVarargContext mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferListInitializedToEmptyInFunction mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferOrderedDictInitializedToEmpty mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testLambdaDeferredSpecialCase mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferDictInitializedToEmptyUsingUpdate mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferListInitializedToEmptyAndNotAnnotatedInFunction mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testLambdaJoinWithDynamicConstructor mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferListInitializedToEmptyAndReadBeforeAppendInFunction mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testEmptyCollectionAssignedToVariableTwiceIncremental mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferDictInitializedToEmptyUsingUpdateError mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testOrOperationWithGenericOperands mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testPartiallyInitializedToNoneAndThenToPartialList mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferListTypeFromEmptyListAndAny mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testEmptyCollectionAssignedToVariableTwiceNoReadIncremental mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferAttributeInitializedToEmptyAndAssignedItem mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testPartiallyInitializedToNoneAndThenReadPartialList mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferAttributeInitializedToNoneAndAssigned mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferAttributeInitializedToEmptyAndAssigned mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferFromEmptyDictWhenUsingIn mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testPartiallyInitializedToNoneAndPartialListAndLeftPartial mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferAttributeInitializedToEmptyNonSelf mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferAttributeInitializedToEmptyAndAppended mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testPartiallyInitializedVariableDoesNotEscapeScope1 mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testGlobalInitializedToNoneSetFromMethod mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferFromEmptyDictWhenUsingInSpecialCase mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferAttributeInitializedToEmptyAndAssignedOtherMethod mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testPartiallyInitializedVariableDoesNotEscapeScope2 mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testPartialTypeErrorSpecialCase1 mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferAttributeInitializedToEmptyAndAppendedOtherMethod mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testAttributePartiallyInitializedToNone mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testPartialTypeErrorSpecialCase2 mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testAttributePartiallyInitializedToNoneWithMissingAnnotation mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferFromEmptyListWhenUsingInWithStrictEquality mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferAttributeInitializedToEmptyAndAssignedItemOtherMethod mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testPartialTypeErrorSpecialCase3 mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testGlobalInitializedToNoneSetFromFunction mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferListTypeFromInplaceAdd mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferAttributeInitializedToNoneAndAssignedOtherMethod mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testMultipassAndAccessVariableBeforeDefinition mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testMultipassAndDefineAttributeBasedOnNotReadyAttribute2 mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferSetTypeFromInplaceOr mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferAttributeInitializedToEmptyAndAssignedClassBody mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testMultipassAndAccessInstanceVariableBeforeDefinition mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testMultipassAndPartialTypes mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testLocalVariablePartiallyInitializedToNone mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testMultipassAndTopLevelVariable mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferAttributeInitializedToEmptyAndAppendedClassBody mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testLocalVariablePartiallyTwiceInitializedToNone mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testMultipassAndPartialTypes2 mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testMultipassAndDecoratedMethod mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testLvarInitializedToNoneWithoutType mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferAttributeInitializedToEmptyAndAssignedItemClassBody mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testMultipassAndDefineAttributeBasedOnNotReadyAttribute mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testGvarPartiallyInitializedToNone mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testMultipassAndPartialTypes3 mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferAttributeInitializedToNoneAndAssignedClassBody mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testUnificationMultipleInheritanceAmbiguous mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testUnificationEmptyListLeft mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testUnificationEmptyDictRight mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testMultipassAndPartialTypes4 mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testMultipassAndPartialTypesSpecialCase3 mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testUnificationEmptyListRight mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testMultipassAndPartialTypesSpecialCase4 mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testMultipassAndCircularDependency mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testUnificationDictWithEmptyListLeft mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testMultipassAndPartialTypesSpecialCase5 mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testUnificationEmptyListLeftInContext mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testMultipassAndPartialTypesSpecialCase1 mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testMultipassAndClassAttribute mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testUnificationDictWithEmptyListRight mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testUnificationEmptyListRightInContext mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testMultipassAndMultipleFiles mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testMultipassAndPartialTypesSpecialCase2 mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testMisguidedSetItem mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testUnificationEmptySetLeft mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testForwardReferenceToDecoratedClassMethod mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testNoCrashOnPartialVariable3 mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testNoCrashOnPartialMember mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testUnificationEmptyDictLeft mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testUnificationRedundantUnion mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferenceNestedTuplesFromGenericIterable mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testNoCrashOnPartialVariable mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testLocalPartialTypesWithGlobalInitializedToNone2 mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testUnificationMultipleInheritance mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testDontMarkUnreachableAfterInferenceUninhabited mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testLocalPartialTypesWithGlobalInitializedToNone3 mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testNoCrashOnPartialVariable2 mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testLocalPartialTypesWithGlobalInitializedToEmptyList mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testLocalPartialTypesWithGlobalInitializedToNoneStrictOptional mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testDontMarkUnreachableAfterInferenceUninhabited2 mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testLocalPartialTypesWithGlobalInitializedToEmptyList2 mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testLocalPartialTypesWithNestedFunction mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testLocalPartialTypesWithGlobalInitializedToNone4 mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testDontMarkUnreachableAfterInferenceUninhabited3 mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testLocalPartialTypesWithGlobalInitializedToEmptyList3 mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testLocalPartialTypesWithClassAttributeInitializedToNone mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testLocalPartialTypesWithNestedFunction2 mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testLocalPartialTypesWithGlobalInitializedToNone mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testLocalPartialTypesWithAnyBaseClass mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testLocalPartialTypesWithGlobalInitializedToEmptyDict mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testLocalPartialTypesWithClassAttributeInitializedToEmptyDict mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testLocalPartialTypesWithNestedFunction3 mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testLocalPartialTypesInMultipleMroItems mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testLocalPartialTypesWithInheritance mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testLocalPartialTypesAccessPartialNoneAttribute2 mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testLocalPartialTypesWithGlobalInitializedToEmptyDict2 mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testLocalPartialTypesWithInheritance3 mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testUnusedTargetLocal mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testLocalPartialTypesWithInheritance2 mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testUnusedTargetNotGlobal mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testLocalPartialTypesBinderSpecialCase mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testLocalPartialTypesWithGlobalInitializedToEmptyDict3 mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testUnusedTargetForLoop mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testUnusedTargetNotClass mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testLocalPartialTypesAccessPartialNoneAttribute mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testUnusedTargetTupleUnpacking mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testUnusedTargetWithClause mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testUnusedTargetNotClass2 mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testPermissiveAttributeOverride2 mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testUnusedTargetNotExceptClause mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testUnusedTargetMultipleTargets mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testPermissiveAttribute mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testPermissiveGlobalContainer3 mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testPermissiveAttributeOverride1 mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInheritedAttributeStrictOptional mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testUnusedTargetNotImport mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testPermissiveGlobalContainer1 mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testPermissiveGlobalContainer4 mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testNeedAnnotationForCallable mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testUnderscoreClass mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInheritedAttributeNoStrictOptional mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testDontNeedAnnotationForCallable mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testDeferralInNestedScopes mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testPermissiveGlobalContainer2 mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testIncompatibleInheritedAttributeNoStrictOptional mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testDeferralOfMemberNested mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testUnionInvariantSubClassAndCovariantBase mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testPartialDefaultDict mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testOptionalTypeVarAgainstOptional mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testPartialDefaultDictListValue mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testUnionGenericWithBoundedVariable mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testPartialDefaultDictInconsistentValueTypes mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testPartialDefaultDictSpecialCase3 mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferCallableReturningNone1 mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testPartialDefaultDictListValueStrictOptional mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testPartialDefaultDictSpecialCases mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferCallableReturningNone2 mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferredTypeIsSimpleNestedIterable mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferredTypeIsSimpleNestedList mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferredTypeIsSimpleNestedListLoop mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferredTypeIsSimpleNestedIterableLoop mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testPartialDefaultDictSpecialCases2 mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testErasedTypeRuntimeCoverage mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testSuggestPep604AnnotationForPartialNone mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testRegression11705_NoStrict mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testRegression11705_Strict mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testTupleContextFromIterable mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testUseSupertypeAsInferenceContext mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testTupleContextFromIterable2 mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testUseSupertypeAsInferenceContextInvalidType mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testUseSupertypeAsInferenceContextPartial mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testUseSupertypeAsInferenceContextPartialError mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testInferSimpleLiteralInClassBodyCycle mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testNoPartialInSupertypeAsContext mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testUseSupertypeAsInferenceContextPartialErrorProperty mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testUseSupertypeAsInferenceContextConflict mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testUnionTypeCallableInference
mypy/test/testcheck.py::TypeCheckSuite::check-inference.test::testJoinWithAnyFallback