| // Copyright 2024 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 A[P any] [1]P | |
| type B[P any] A[P] | |
| type C /* ERROR "invalid recursive type" */ B[C] | |
| // test case from issue | |
| type Foo[T any] struct { | |
| baz T | |
| } | |
| type Bar[T any] struct { | |
| foo Foo[T] | |
| } | |
| type Baz /* ERROR "invalid recursive type" */ struct { | |
| bar Bar[Baz] | |
| } |