@@ -2647,37 +2647,37 @@ reveal_type(SneakyPrefix(f1).args) # E: Missing positional argument "_" in call
26472647 # N: Revealed type is "tuple[()]" \
26482648 # E: Argument 1 to "SneakyPrefix" has incompatible type "Callable[[], int]"; expected "Callable[[int], object]"
26492649
2650- reveal_type(Sneaky(f2, 1).args) # N: Revealed type is "Union[ tuple[()], tuple[builtins.int] ]"
2650+ reveal_type(Sneaky(f2, 1).args) # N: Revealed type is "tuple[()] | tuple[builtins.int]"
26512651reveal_type(SneakyPrefix(f2, 1).args) # N: Revealed type is "tuple[()]"
26522652
26532653reveal_type(Sneaky(f3, 1).args) # N: Revealed type is "tuple[builtins.int]"
26542654reveal_type(SneakyPrefix(f3, 1).args) # N: Revealed type is "tuple[()]"
26552655
26562656reveal_type(Sneaky(f4, x=1).args) # N: Revealed type is "tuple[()]"
26572657
2658- reveal_type(Sneaky(f5, 1).args) # N: Revealed type is "Union[ tuple[()], tuple[builtins.int], tuple[builtins.int, builtins.int] ]"
2659- reveal_type(SneakyPrefix(f5, 1).args) # N: Revealed type is "Union[ tuple[()], tuple[builtins.int] ]"
2660- reveal_type(Sneaky(f5, 1, 2).args) # N: Revealed type is "Union[ tuple[()], tuple[builtins.int], tuple[builtins.int, builtins.int] ]"
2661- reveal_type(SneakyPrefix(f5, 1, 2).args) # N: Revealed type is "Union[ tuple[()], tuple[builtins.int] ]"
2658+ reveal_type(Sneaky(f5, 1).args) # N: Revealed type is "tuple[()] | tuple[builtins.int] | tuple[builtins.int, builtins.int]"
2659+ reveal_type(SneakyPrefix(f5, 1).args) # N: Revealed type is "tuple[()] | tuple[builtins.int]"
2660+ reveal_type(Sneaky(f5, 1, 2).args) # N: Revealed type is "tuple[()] | tuple[builtins.int] | tuple[builtins.int, builtins.int]"
2661+ reveal_type(SneakyPrefix(f5, 1, 2).args) # N: Revealed type is "tuple[()] | tuple[builtins.int]"
26622662
2663- reveal_type(Sneaky(f6, 1).args) # N: Revealed type is "Union[ tuple[()], tuple[builtins.int], tuple[builtins.int, Unpack[builtins.tuple[builtins.int, ...] ]]]"
2664- reveal_type(SneakyPrefix(f6, 1).args) # N: Revealed type is "Union[ tuple[()], tuple[Unpack[builtins.tuple[builtins.int, ...] ]]]"
2665- reveal_type(Sneaky(f6, 1, 2).args) # N: Revealed type is "Union[ tuple[()], tuple[builtins.int], tuple[builtins.int, Unpack[builtins.tuple[builtins.int, ...] ]]]"
2666- reveal_type(SneakyPrefix(f6, 1, 2).args) # N: Revealed type is "Union[ tuple[()], tuple[Unpack[builtins.tuple[builtins.int, ...] ]]]"
2663+ reveal_type(Sneaky(f6, 1).args) # N: Revealed type is "tuple[()] | tuple[builtins.int] | tuple[builtins.int, Unpack[builtins.tuple[builtins.int, ...]]]"
2664+ reveal_type(SneakyPrefix(f6, 1).args) # N: Revealed type is "tuple[()] | tuple[Unpack[builtins.tuple[builtins.int, ...]]]"
2665+ reveal_type(Sneaky(f6, 1, 2).args) # N: Revealed type is "tuple[()] | tuple[builtins.int] | tuple[builtins.int, Unpack[builtins.tuple[builtins.int, ...]]]"
2666+ reveal_type(SneakyPrefix(f6, 1, 2).args) # N: Revealed type is "tuple[()] | tuple[Unpack[builtins.tuple[builtins.int, ...]]]"
26672667
26682668reveal_type(Sneaky(f7, 1, 2).args) # N: Revealed type is "tuple[Literal[1]?, Literal[2]?]"
26692669reveal_type(SneakyPrefix(f7, 1, 2).args) # N: Revealed type is "tuple[Literal[2]?]"
26702670
2671- reveal_type(Sneaky(f8, 1, '').args) # N: Revealed type is "Union[ tuple[()], tuple[builtins.int], tuple[builtins.int, Unpack[builtins.tuple[builtins.str, ...] ]]]"
2672- reveal_type(SneakyPrefix(f8, 1, '').args) # N: Revealed type is "Union[ tuple[()], tuple[Unpack[builtins.tuple[builtins.str, ...] ]]]"
2671+ reveal_type(Sneaky(f8, 1, '').args) # N: Revealed type is "tuple[()] | tuple[builtins.int], tuple[builtins.int, Unpack[builtins.tuple[builtins.str, ...]]]"
2672+ reveal_type(SneakyPrefix(f8, 1, '').args) # N: Revealed type is "tuple[()] | tuple[Unpack[builtins.tuple[builtins.str, ...]]]"
26732673
26742674reveal_type(Sneaky(f9, 1, '', 0).args) # N: Revealed type is "tuple[builtins.int, builtins.str, builtins.int]"
26752675reveal_type(SneakyPrefix(f9, 1, '', 0).args) # N: Revealed type is "tuple[builtins.str, builtins.int]"
26762676
2677- reveal_type(Sneaky(f10, 1, '', '').args) # N: Revealed type is "Union[ tuple[()], tuple[builtins.int], tuple[builtins.int, Unpack[builtins.tuple[builtins.str, ...] ]]]"
2678- reveal_type(SneakyPrefix(f10, 1, '', '').args) # N: Revealed type is "Union[ tuple[()], tuple[Unpack[builtins.tuple[builtins.str, ...] ]]]"
2677+ reveal_type(Sneaky(f10, 1, '', '').args) # N: Revealed type is "tuple[()] | tuple[builtins.int] | tuple[builtins.int, Unpack[builtins.tuple[builtins.str, ...]]]"
2678+ reveal_type(SneakyPrefix(f10, 1, '', '').args) # N: Revealed type is "tuple[()] | tuple[Unpack[builtins.tuple[builtins.str, ...]]]"
26792679
2680- reveal_type(Sneaky(f11).args) # N: Revealed type is "Union[ tuple[()], tuple[builtins.int] ]"
2680+ reveal_type(Sneaky(f11).args) # N: Revealed type is "tuple[()] | tuple[builtins.int]"
26812681[builtins fixtures/paramspec.pyi]
26822682
26832683[case testRevealBoundParamSpecGeneric]
0 commit comments