diff options
| author | Robert Griesemer <gri@golang.org> | 2023-04-20 19:27:23 -0700 |
|---|---|---|
| committer | Gopher Robot <gobot@golang.org> | 2023-04-21 12:32:24 +0000 |
| commit | 4cba0bd74a9500d86a79f5a49960328181babd77 (patch) | |
| tree | dab6c8a1436f00c3057d9c3825f934225864e158 /src/go/types | |
| parent | 598cf5e6ac1deb87f4931af195dad66f2b3f1672 (diff) | |
| download | go-git-4cba0bd74a9500d86a79f5a49960328181babd77.tar.gz | |
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>
Diffstat (limited to 'src/go/types')
| -rw-r--r-- | src/go/types/unify.go | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/go/types/unify.go b/src/go/types/unify.go index 107e569380..9d89a687de 100644 --- a/src/go/types/unify.go +++ b/src/go/types/unify.go @@ -48,7 +48,7 @@ const ( // Whether to panic when unificationDepthLimit is reached. // If disabled, a recursion depth overflow results in a (quiet) // unification failure. - panicAtUnificationDepthLimit = true + panicAtUnificationDepthLimit = false // go.dev/issue/59740 // If enableCoreTypeUnification is set, unification will consider // the core types, if any, of non-local (unbound) type parameters. |