diff options
author | Robert Griesemer <gri@golang.org> | 2022-09-28 16:44:53 -0700 |
---|---|---|
committer | Gopher Robot <gobot@golang.org> | 2022-09-29 14:21:33 +0000 |
commit | e22af33b48447338abf6f788b3eb5b87577f95db (patch) | |
tree | 15818954e194f701e5f7be6955d8f619f360961d /test/typeparam | |
parent | ecd112c0d1c90a12d3c87172cf969cdd1f6cbeca (diff) | |
download | go-e22af33b48447338abf6f788b3eb5b87577f95db.tar.gz go-e22af33b48447338abf6f788b3eb5b87577f95db.zip |
go/types, types2: more concise error messages for cycle errors
If a cycle has length 1, don't enumerate the single cycle entry;
instead just mention "refers to itself". For instance, for an
invalid recursive type T we now report:
invalid recursive type: T refers to itself
instead of:
invalid recursive type T
T refers to
T
Adjust tests to check for the different error messages.
Change-Id: I5bd46f62fac0cf167f0d0c9a55f952981d294ff4
Reviewed-on: https://go-review.googlesource.com/c/go/+/436295
Run-TryBot: Robert Griesemer <gri@google.com>
Reviewed-by: Robert Griesemer <gri@google.com>
Reviewed-by: Robert Findley <rfindley@google.com>
TryBot-Result: Gopher Robot <gobot@golang.org>
Auto-Submit: Robert Griesemer <gri@google.com>
Diffstat (limited to 'test/typeparam')
-rw-r--r-- | test/typeparam/issue46461.go | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/typeparam/issue46461.go b/test/typeparam/issue46461.go index 4d4d4400c2..363a87cfe0 100644 --- a/test/typeparam/issue46461.go +++ b/test/typeparam/issue46461.go @@ -6,7 +6,7 @@ package p -type T[U interface{ M() T[U] }] int // ERROR "invalid recursive type T" +type T[U interface{ M() T[U] }] int // ERROR "invalid recursive type: T refers to itself" type X int |