Carl Meyer

> But doing this for third-party files is in direct conflict with our lazy approach of only doing as much work as is absolutely necessary. Parsing and indexing those dependencies...

https://github.com/astral-sh/ty/issues/1591 is another example case to consider here, where pyright provides a fantastic diagnostic. [Pyrefly](https://pyrefly.org/sandbox/?project=N4IgZglgNgpgziAXKOBDAdgEwEYHsAeAdAA4CeS4ATrgLYAEALqcROgOZ0Q3G6UN0AFag1wBjXFAA0dACrMYANVSVpuAG4xKUXKkzSAyjACOAVxjpRMaQEkGm1CJV0AgulIGTxHnzjWsMfAAddGCAfRlQ8ToAXll5JUoACkCQcMjcFOlxNWUIDAZomUozAEpg8osoVDg4OkNTc0sAOVwGfQYkoVaxCQBtNPEAXRLEYLpxugABdU1tXTGJzBgwOlDQthgGCDsaNcS4GCgwaVYl-EQ6z28GX398aQB6EroAWgA%2BVYjxC8JfiompjMtDpMAtxksVmsNlsdnsDkcTncLnAoBBLI9nu86sYzBYYP0vrhBj8-iF0ACIat0ugGKhWHA4YdjnQclAzBdcNgAFYwUQMDGvD54CQkwj-RbLKmwdCMo6Yj6sBii8XgyVrbaaWVgeV0Wz2RwE9LEui-MVkimS04BfZM6Ss9kuNyPaRwWl8C6KmJ0AAMLpExA9NK9pp1iuV5olK3EJhpNoRLNQbJgF1c7joT0FnBp4bBdEpa0oMA0lAOmC1Or1lAcvENQxz-hWYES52xDTxLTaHV6rsow3rTd6KVQmToKWwI5SohSwwq%2BebF1Rrt6qboAB86D2%2B7mm-gyugQJIQCYtlA4CRyIgQABiOgAVRP21IdDAMb5EFw6Dgs8lYF4NAcoToCYNDYJo85ZgwOo9qM5ITIWDAmJQ5JgCkTTAaBlAXMA%2BAAL4pMEB4gGQhZgFApCECINBQBQN4CKQJFkRuGA4AQdDiOgkBsIhDjvugZo3oYMB0AAFgwDDEHAiAPA8xHLGRhC8GwDzmA8mBiHADzsZx3FbB%2BDzPrwdCoDk0CoNgsBsR%2B2lVrp5K4MQtlnsEZAMMJH4vMWcC8V6KQAMyEAAjAATPh%2B44YeqBvhoABi0AwBQaBYHgRBkCAOFAA) also does alright here -- it doesn't provide the full chain like pyright does, but...

I'm not totally sure, but I _think_ the root cause of this issue is that Pydantic's ModelMetaclass behaves differently from dataclasses, in that it won't synthesize a new `__init__` method...

I'm not sure why static type checkers would need to know or care about all the implementation details of sources etc: they just need to understand the correct `__init__` signature,...

Yes, makes sense. On further thought, I do think it is quite difficult (or impossible) for `BaseSettings` to get the automatic behavior it wants from type-checkers via dataclass-transform (understanding the...

I don't remember saying that I planned to, but sure, if it needs an owner I'm happy to look into it.

This no longer panics, but we can have false negatives on one of the upper bounds; there are TODOs in the tests to capture this, should also be fixable.

We also prefer a well-specified inter-operable type system over plugins. We currently have no plans to build a plugin system for `ty`. Implementing special-cased support for some widely-used library is...

@AdityaMayukhSom Might be https://github.com/astral-sh/ty/issues/1425 -- are those fields on `Group` not type-annotated, by any chance? If it's not that, you'd probably need to open a dedicated issue and show more...

@AdityaMayukhSom Can you create a new issue (not a comment on this issue)? Thank you! If you are able to minimize the problem to the smallest example where it still...