]> Cypherpunks.ru repositories - gostls13.git/blobdiff - src/internal/types/testdata/fixedbugs/issue46461.go
go/types, types2: implement Alias proposal (export API)
[gostls13.git] / src / internal / types / testdata / fixedbugs / issue46461.go
index fce06f7ec7ade9e5f004863ba734ac211eb1ed51..e823013f9951676daabe94e76ed63db2b9c5482a 100644 (file)
@@ -1,3 +1,5 @@
+// -gotypesalias=0
+
 // Copyright 2021 The Go Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style
 // license that can be found in the LICENSE file.
@@ -5,16 +7,16 @@
 package p
 
 // test case 1
-type T /* ERROR invalid recursive type */ [U interface{ M() T[U] }] int
+type T /* ERROR "invalid recursive type" */ [U interface{ M() T[U] }] int
 
 type X int
 
 func (X) M() T[X] { return 0 }
 
 // test case 2
-type A /* ERROR invalid recursive type */ [T interface{ A[T] }] interface{}
+type A /* ERROR "invalid recursive type" */ [T interface{ A[T] }] interface{}
 
 // test case 3
-type A2 /* ERROR invalid recursive type */ [U interface{ A2[U] }] interface{ M() A2[U] }
+type A2 /* ERROR "invalid recursive type" */ [U interface{ A2[U] }] interface{ M() A2[U] }
 
 type I interface{ A2[I]; M() A2[I] }