// 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.

package p

type N /* ERROR "invalid recursive type" */ interface {
	int | N
}

type A /* ERROR "invalid recursive type" */ interface {
	int | B
}

type B interface {
	int | A
}

type S /* ERROR "invalid recursive type" */ struct {
	I // ERROR "interface contains type constraints"
}

type I interface {
	int | S
}

type P interface {
	*P // ERROR "interface contains type constraints"
}