Closed EvanHahn closed 1 month ago
This is a types-only change.
These types were wrong which caused type errors in tests.
Once this is fixed, we can start type-checking tests (which we currently don't).
This is a types-only change.
These types were wrong which caused type errors in tests.
Once this is fixed, we can start type-checking tests (which we currently don't).