| // Copyright 2022 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 |
| |
| // Example from the issue: |
| type A[T any] interface { |
| *T |
| } |
| |
| type B[T any] interface { |
| B /* ERROR "invalid recursive type" */ [*T] |
| } |
| |
| type C[T any, U B[U]] interface { |
| *T |
| } |
| |
| // Simplified reproducer: |
| type X[T any] interface { |
| X /* ERROR "invalid recursive type" */ [*T] |
| } |
| |
| var _ X[int] |
| |
| // A related example that doesn't go through interfaces. |
| type A2[P any] [10]A2 /* ERROR "invalid recursive type" */ [*P] |
| |
| var _ A2[int] |