DetachHead
DetachHead
this probably won't be needed if we do #64
in the mean time i want to add a rule to ban `type[T]` syntax, because it's extremely unsafe
Good idea. Then once we have intersections, we can just make a type alias that lets you specify its constructor parameters: ```py type Type[T, P] = type[T] & Callable[P, T]...
would it make a PR? that would be annoying because merge PRs can't actually be merged through github, so we would need to also make an action that does the...
related: #289 specifically https://github.com/DetachHead/basedpyright/issues/289#issuecomment-2283252114 needs to be addressed for both of these issues imo
thanks, i forgot it wasn't enabled by default
what if you want to explicitly specify the variance, you can't do that with the new generic syntax right?
when deprecating `TypeAlias` we should make sure you still get an error on type aliases that aren't explicitly annotated with `TypeAlias`: ```py Foo = int ```
yeah but in my experience most of the time it's used as a type alias. perhaps the option to ban them can be a separate setting
looks like pyright already does this, so all we need to do is make it not report `reportMissingParameterType` on the overridden method