pranavrajpal

I think the problem here is that the attrs plugin relies on subclasses of attrs classes being processed after any attrs classes they inherit from (we check if any of...

I think one possible strategy for type checking IR would be to make `Value`s with different `RType`s different types, instead of having one `Value` type that can represent any runtime...

> I expect that this will not be very practical I'm not entirely sure how many errors mypy would be able to catch either, but I think trying this out...

I think there are 2 separate use cases for fixed-width integers that it's important to differentiate between: 1) Overflow is technically incorrect but it isn't expected to happen, so fixed-width...

These are 2 different bugs, but they're both caused by #10389. --- @Dreamsorcerer Simplified example: ```py class A: def __init__(self) -> None: self.x = False def change_x(a: A) -> None:...

Would specifying the plugin by path instead of module name work like what edgedb does right now? edgedb/edgedb#2627 seems to suggest that doing that makes installing the plugin unnecessary.

I'd like to try working on this. Is there a way to download the server's database so that I can try and look at the test results more closely? Right...

Yes, I'm still working on this. Currently, I'm still trying to determine what the cause of this is. I _think_ that the problem is somehow related to regression tests that...