-
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: infinite loop in types2 #48136
Comments
Infinite loop in types2 substituter. @griesemer |
FWIW, I don't think this function can reasonably compile without errors. What is the type of |
Nice! Thanks for reporting @reusee . |
Simpler reproducer: package p
func f[P interface { *P }]() {}
func _() {
f()
} |
The issue here is that constraint type inference tries to unify |
Change https://golang.org/cl/347300 mentions this issue: |
What version of Go are you using (
go version
)?Does this issue reproduce with the latest release?
No
What operating system and processor architecture are you using (
go env
)?go env
OutputWhat did you do?
go build
What did you expect to see?
Compile OK
What did you see instead?
The text was updated successfully, but these errors were encountered: