Move test case where it belongs

Author: sterliakov

test-data/unit/check-inference-context.test

@@ -1495,18 +1495,3 @@ def g(b: Optional[str]) -> None:
         z: Callable[[], str] = lambda: reveal_type(b)  # N: Revealed type is "builtins.str"
         f2(lambda: reveal_type(b))  # N: Revealed type is "builtins.str"
         lambda: reveal_type(b)  # N: Revealed type is "builtins.str"
-
-[case testInferenceContextMappingGet]
-from typing import Generic, TypeVar, Union
-
-_T = TypeVar("_T")
-_K = TypeVar("_K")
-_V = TypeVar("_V")
-
-class Mapping(Generic[_K, _V]):
-    def get(self, key: _K, default: Union[_V, _T]) -> Union[_V, _T]: ...
-
-def check(mapping: Mapping[str, _T]) -> None:
-    fail1 = mapping.get("", "")
-    fail2: Union[_T, str] = mapping.get("", "")
-[builtins fixtures/tuple.pyi]

test-data/unit/check-inference.test

@@ -3963,3 +3963,18 @@ def f() -> None:
 
     # The type below should not be Any.
     reveal_type(x)  # N: Revealed type is "builtins.int"
+
+[case testInferenceMappingTypeVarGet]
+from typing import Generic, TypeVar, Union
+
+_T = TypeVar("_T")
+_K = TypeVar("_K")
+_V = TypeVar("_V")
+
+class Mapping(Generic[_K, _V]):
+    def get(self, key: _K, default: Union[_V, _T]) -> Union[_V, _T]: ...
+
+def check(mapping: Mapping[str, _T]) -> None:
+    ok1 = mapping.get("", "")
+    ok2: Union[_T, str] = mapping.get("", "")
+[builtins fixtures/tuple.pyi]