-
Notifications
You must be signed in to change notification settings - Fork 17.9k
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
cmd/compile: deadlock while typechecking self-referential constraint #49439
Comments
This trybot failure seems a variant of this issue: https://storage.googleapis.com/go-build-log/09876462/linux-amd64-unified_f935df09.log |
This doesn't appear to be fixed by the revert of CL 362254. I'm investigating. |
This is a consequence of https://golang.org/cl/356489, which allowed inferring type instances and introduced a vector for recursive expansion. I'll fix this instance, and will add a more general mechanism for detecting recursive expansion. |
Change https://golang.org/cl/361922 mentions this issue: |
CL 361922 is a bit of a hammer, but it seems that uniform type inference is more important than type parameter lists that recurse with types to which those type parameter lists belong. |
Change https://go.dev/cl/386718 mentions this issue: |
Compiling this (wrong) code:
causes a deadlock (I think it's trying to infer the second parameter):
The text was updated successfully, but these errors were encountered: