]> Cypherpunks repositories - gostls13.git/commit
go/types, types2: abort type unification if no progress is made
authorRobert Griesemer <gri@golang.org>
Fri, 21 Apr 2023 02:27:23 +0000 (19:27 -0700)
committerGopher Robot <gobot@golang.org>
Fri, 21 Apr 2023 12:32:24 +0000 (12:32 +0000)
commit4cba0bd74a9500d86a79f5a49960328181babd77
treedab6c8a1436f00c3057d9c3825f934225864e158
parent598cf5e6ac1deb87f4931af195dad66f2b3f1672
go/types, types2: abort type unification if no progress is made

Fixes #59740.
For #59750.

Change-Id: I153d0a412bdfb15f81d6999e29691dc093fd0fcb
Reviewed-on: https://go-review.googlesource.com/c/go/+/487197
Reviewed-by: Robert Findley <rfindley@google.com>
Run-TryBot: Robert Griesemer <gri@google.com>
Auto-Submit: Robert Griesemer <gri@google.com>
TryBot-Result: Gopher Robot <gobot@golang.org>
Reviewed-by: Robert Griesemer <gri@google.com>
src/cmd/compile/internal/types2/unify.go
src/go/types/unify.go
src/internal/types/testdata/fixedbugs/issue59740.go [new file with mode: 0644]