Your IP : 172.28.240.42
// 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]