DetachHead

i think there still needs to be an option to still report `reportMissingParameterType` in such cases, because there are libraries that have decorators that rely on type annotations for runtime...

yeah it's contravariant because it's in an input position. though i still think it's safe to assume that if you don't specify the type then it should just assume it's...

yeah that's because mypy types it as `Any` if there's no annotation instead of inferring it from the base class like pyright does ```py class Foo: @abstractmethod def foo(self, value:...

actually i think this behavior is fine as it allows the use case of having multiple type checkers, which isn't a common use case but for example i have a...

if this isn't an issue when using the python 3.12 `type` keyword, then this will probably be low priority after #244 is done

the `typing` module is an absolute mess that does nothing except confuse the user. i want to remove all the gross `_SpecialForm` and `_Alias` stuff and maybe make a separate...

i might add an option to byo node, which would hopefully fix these issues: #177 #172 #167 when i first started this project, i just wanted it to be a...

there should also be a diagnostic for unnecessary `__init__` calls when this rule is enabled

yeah don't think there's any benefit to doing this atm. can re-open this issue in the future if that changes. see https://github.com/DetachHead/basedpyright/pull/202#issuecomment-2176087120

> A solution would be to catch the unions with `SpecialForm`s and result in `object` instead. i like this solution. all this internal runtime type system stuff is a complete...