aboutsummaryrefslogtreecommitdiff
path: root/src/go/types/testdata/examples/constraints.go2
diff options
context:
space:
mode:
Diffstat (limited to 'src/go/types/testdata/examples/constraints.go2')
-rw-r--r--src/go/types/testdata/examples/constraints.go26
1 files changed, 3 insertions, 3 deletions
diff --git a/src/go/types/testdata/examples/constraints.go2 b/src/go/types/testdata/examples/constraints.go2
index d9805fe694..28aa19bb12 100644
--- a/src/go/types/testdata/examples/constraints.go2
+++ b/src/go/types/testdata/examples/constraints.go2
@@ -31,9 +31,9 @@ type (
_ interface{int|~ /* ERROR duplicate term int */ int }
_ interface{~int|~ /* ERROR duplicate term int */ int }
- // For now we do not permit interfaces with ~ or in unions.
- _ interface{~ /* ERROR cannot use interface */ interface{}}
- _ interface{int|interface /* ERROR cannot use interface */ {}}
+ // For now we do not permit interfaces with methods in unions.
+ _ interface{~ /* ERROR invalid use of ~ */ interface{}}
+ _ interface{int|interface /* ERROR cannot use .* in union */ { m() }}
)
type (