Sync tests

Author: sterliakov

test-data/unit/check-generics.test

@@ -2929,8 +2929,8 @@ def mix(fs: List[Callable[[S], T]]) -> Callable[[S], List[T]]:
 def id(__x: U) -> U:
     ...
 fs = [id, id, id]
-reveal_type(mix(fs))  # N: Revealed type is "def [S] (S`11) -> builtins.list[S`11]"
-reveal_type(mix([id, id, id]))  # N: Revealed type is "def [S] (S`13) -> builtins.list[S`13]"
+reveal_type(mix(fs))  # N: Revealed type is "def [S] (S`6) -> builtins.list[S`6]"
+reveal_type(mix([id, id, id]))  # N: Revealed type is "def [S] (S`8) -> builtins.list[S`8]"
 [builtins fixtures/list.pyi]
 
 [case testInferenceAgainstGenericCurry]

test-data/unit/check-typeddict.test

@@ -1170,16 +1170,16 @@ def j(x: T, y: T) -> T: return x
 a: A
 b: B
 c: C
-reveal_type(j(a, b)) \
-    # N: Revealed type is "TypedDict({})"
-reveal_type(j(b, b)) \
-    # N: Revealed type is "TypedDict({'x'?: builtins.int})"
-reveal_type(j(c, c)) \
-    # N: Revealed type is "TypedDict({'x'?: builtins.int, 'y'?: builtins.str})"
-reveal_type(j(b, c)) \
-    # N: Revealed type is "TypedDict({'x'?: builtins.int})"
-reveal_type(j(c, b)) \
-    # N: Revealed type is "TypedDict({'x'?: builtins.int})"
+reveal_type(j(a, b)) # N: Revealed type is "TypedDict({})"
+reveal_type(j(b, b)) # N: Revealed type is "TypedDict('__main__.B', {'x'?: builtins.int})"
+reveal_type(j(c, c)) # N: Revealed type is "TypedDict('__main__.C', {'x'?: builtins.int, 'y'?: builtins.str})"
+reveal_type(j(b, c)) # N: Revealed type is "TypedDict({'x'?: builtins.int})"
+reveal_type(j(c, b)) # N: Revealed type is "TypedDict({'x'?: builtins.int})"
+
+
+
+
+
 [builtins fixtures/dict.pyi]
 [typing fixtures/typing-typeddict.pyi]