basedpyright icon indicating copy to clipboard operation
basedpyright copied to clipboard

no error for unspecified param spec

Open KotlinIsland opened this issue 10 months ago • 1 comments

Description

Code sample in basedpyright playground

class C1[T]: ...

print(C1())  # error

class C2[*Ts]: ...

print(C2())  # error

class C3[**P]: ...

print(C3())  # no error

KotlinIsland avatar Apr 29 '25 07:04 KotlinIsland

looks like it's inferring the paramspec as ... which is the paramspec equivalent of Any:

reveal_type(C3()) # C3[...]

DetachHead avatar May 11 '25 08:05 DetachHead