Alex Waygood

> this is a circular dependency. how can we ever change anything if the change needs to be compatible with our dependants That's why I said in https://github.com/astral-sh/ty/issues/1215#issuecomment-3317471670: > I...

There's also a couple of stubtest failures on `wtforms` still

> @AlexWaygood, does this require news? I think - not. Yeah, we can skip it for this one, good call

Thanks very much for the thorough report! It looks like numpy uses type aliases for its overload annotations here. We don't support type aliases fully yet, and we end up...

Similarly, it's a bit annoying that `finally` is at the top of the list here when syntactically it would only ever be invalid syntax for a keyword to appear in...

> What I'm asking is why the grammar itself isn't used to generate up all this, instead of encoding that logic by hand? generating some kind of schema from the...

Here's a [pyright playground](https://pyright-play.net/?pyrightVersion=1.1.405&pythonVersion=3.13&reportUnreachable=true&code=GYJw9gtgBA%2BjwFcAuCQFM5QJYQA5hCSgEMA7UsJYpLMUgZwChRIokBPXLUgc2zwJEAgqXaNGAYwA2xevSgAhWVnoBZNFQAm1YgC4oAOiOSZcqAGUEAI3VadACiX0Vt4tqoBKfUYPjps%2BSEAbVV9JxcNNx0AXV1GKASoTTRgWBhuLCQ4e3o0KWAAGigISPc9KFUPKABaAD4oADk6NDjEtqhc-IMYErsqKABeYtKdcTbk1IhiAGs0enSsiTAAN2IQLDIkHLzgKrqK1vaEgCJTkSg0AA9iPCk0YaQACzBNNkfqYpm5t-uwKwArNASIhLVbrTYGU7HeJHKDoFAgUgdHbdXpRKhjRITT6zeaZdKkMEbUhbTrAfTBETsaJ7epNUgtGFHKEAFUeKig9m4SxA6GBUnYAH4qlNcT8oH9AcDsIS1sSkJDTuJscB7JcKUFwmoRlQad5jIxsTw1RrLDYdcQ9UyoKrLh5GEA) showing that pyright infers this class as covariant, whereas we [do not](https://play.ty.dev/283289c4-acee-4763-8f30-e81c3d650de3). I wondered if pyright's behaviour might be because the `self` parameter is annotated with...

Thanks for the report! I'm not _totally_ sure that this ever worked -- I think the error you were seeing before was an unrelated bug 😆 But it definitely _should_...

@dhruvmanila, is this related to the last bullet point in https://github.com/astral-sh/ty/issues/1861?

We don't have an issue for this currently, but this would be fixed by https://github.com/astral-sh/ruff/pull/21583, which is a joint effort by me and @Gankra :-)