blob: cf02cc130aa6cb44089d3abedf05734ea6fd0d42 [file] [log] [blame]
// Copyright 2020 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.
package p
type (
A1 /* ERROR illegal cycle */ [P any] [10]A1[P]
A2 /* ERROR illegal cycle */ [P any] [10]A2[*P]
A3[P any] [10]*A3[P]
L1[P any] []L1[P]
S1 /* ERROR illegal cycle */ [P any] struct{ f S1[P] }
S2 /* ERROR illegal cycle */ [P any] struct{ f S2[*P] } // like example in issue
S3[P any] struct{ f *S3[P] }
I1 /* ERROR illegal cycle */ [P any] interface{ I1[P] }
I2 /* ERROR illegal cycle */ [P any] interface{ I2[*P] }
I3[P any] interface{ *I3 /* ERROR interface contains type constraints */ [P] }
)