@@ -215,7 +215,7 @@ def func_a1(
215215 c: TA1[float, float],
216216 d: TA1[float, float, float], # E: Bad number of arguments for type alias, expected between 0 and 2, given 3
217217) -> None:
218- reveal_type(a) # N: Revealed type is "builtins.dict[builtins.int, builtins.str]"
218+ reveal_type(a) # N: Revealed type is "builtins.dict[T2`1 = builtins.int, T3`2 = builtins.str]"
219219 reveal_type(b) # N: Revealed type is "builtins.dict[builtins.float, builtins.str]"
220220 reveal_type(c) # N: Revealed type is "builtins.dict[builtins.float, builtins.float]"
221221 reveal_type(d) # N: Revealed type is "builtins.dict[builtins.int, builtins.str]"
@@ -234,7 +234,7 @@ def func_b1(
234234 c: TB1[[float], [float]],
235235 d: TB1[[float], [float], [float]], # E: Bad number of arguments for type alias, expected between 0 and 2, given 3
236236) -> None:
237- reveal_type(a) # N: Revealed type is "__main__.ClassB1[[builtins.int, builtins.str], [*Any, **Any] ]"
237+ reveal_type(a) # N: Revealed type is "__main__.ClassB1[P2`1 = [builtins.int, builtins.str], P3`2 = ... ]"
238238 reveal_type(b) # N: Revealed type is "__main__.ClassB1[[builtins.float], [*Any, **Any]]"
239239 reveal_type(c) # N: Revealed type is "__main__.ClassB1[[builtins.float], [builtins.float]]"
240240 reveal_type(d) # N: Revealed type is "__main__.ClassB1[[builtins.int, builtins.str], [*Any, **Any]]"
0 commit comments