DetachHead

the issue with not reporting an error here is we can't guarantee that `__orig_class__` will actually be there at runtime: ```py a: A[str] = A() print(a.func("a")) ``` ``` AttributeError: 'A'...

yeah the config is quite a mess (#64). it looks like some of it is already logged here, so we can maybe just update that to log everything https://github.com/DetachHead/basedpyright/blob/cfc20e6b25e46affa67b35eae5eaab21b4e2b533/packages/pyright-internal/src/analyzer/service.ts#L670-L688

i think this is just because overload implementations are not checked to ensure that they conform to the overload signatures. #290

so you want the union type to distribute across the overloads, even if it can already find a matching overload? pyright already does this in cases where no single type...

how would that impact performance?

nvm, i thought you were suggesting updating the diagnostic category from error to warning

i think the solution here is to ban `Self` from being used in a contravariant position an exception would obviously need to be made for the `self` parameter on methods,...

I know this is possible on both android and iOS. There are apps that support it, for example [chance](https://github.com/moffatman/chan). If you open a video and tap the share button it...

i like this idea. though i think to do this we would also need to do #8, since `requires-python` can be a range, eg: ```toml [project] requires-python = ">=3.9,

I agree with @MeGaGiGaGon, I don't think all `Callable`s should be treated as `FunctionType` just because all the other type checkers wrongly do so. If ty does do this for...