-
-
Notifications
You must be signed in to change notification settings - Fork 2.8k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Fine-grained: Inconsistent behavior for nested NewType #4615
Comments
I think that at least the second one (with union) should be fixed by my alias PR #4525. My guess is that things that should be stripped are not stripped (like |
Also there is in fact no big difference between two examples from point of view of forward refs vs |
It looks like |
After a discussion with @JukkaL it looks like the right solution for now would be to support forward references in |
The output of the second increment of this fine-grained incremental mode test case doesn't generate an error, even though nothing relevant has changed:
Here's the output:
The expected output would be identical for both runs.
The output from the first and second runs also does not match for this slightly different test case:
Here's the output (again expected to be identical):
It looks like forward references within NewType declarations behave inconsistently.
The text was updated successfully, but these errors were encountered: