// T21 interface { T20; T20 }
        // T22 interface { T21; T21 }
        // T23 interface { T22; T22 }
        // T24 interface { T23; T23 }
        // T25 interface { T24; T24 }
        // T26 interface { T25; T25 }
        // T27 interface { T26; T26 }
        // T28 interface { T27; T27 }
        // T29 interface { T28; T28 }
)

// Verify that m is present.
var x T9 // T29

package p

type t int

type (
	t00 t; t01 t; t02 t; t03 t; t04 t; t05 t; t06 t; t07 t; t08 t; t09 t
	t10 t; t11 t; t12 t; t13 t; t14 t; t15 t; t16 t; t17 t; t18 t; t19 t
	t20 t; t21 t; t22 t; t23 t; t24 t; t25 t; t26 t; t27 t; t28 t; t29 t
	t30 t; t31 t; t32 t; t33 t; t34 t; t35 t; t36 t; t37 t; t38 t; t39 t
	t40 t; t41 t; t42 t; t43 t; t44 t; t45 t; t46 t; t47 t; t48 t; t49 t

	T15 func()
	T16 func(int)
	T17 func(x int)
	T18 func() float32
	T19 func() (x float32)
	T20 func(...any)
	T21 struct{ next *T21 }
	T22 struct{ link *T23 }
	T23 struct{ link *T22 }
	T24 *T24
	T25 *T26
	T26 *T27
	T27 *T25
	T28 func(T28) T28
)

var (
	V0 int
	V1         = -991.0
	V2 float32 = 1.2
)

func F1()         {}
func F2(x int)    {}
func F3() int     { return 0 }

// crash 24
type T24[P any] P // ERROR "cannot use a type parameter as RHS in type declaration"
func (r T24[P]) m() { T24 /* ERROR "without instantiation" */ .m() }

// crash 25
type T25[A any] int
func (t T25[A]) m1() {}
var x T25 /* ERROR "without instantiation" */ .m1

// crash 26
type T26 = interface{ F26[ /* ERROR "interface method must have no type parameters" */ Z any]() }

			Valu("t22", OpIsNonNil, c.config.Types.Int64, 0, nil, "v2"),
			Valu("t23", OpNot, c.config.Types.Bool, 0, nil, "v4"),
			Valu("t24", OpEq64, c.config.Types.Bool, 0, nil, "v1", "v2"),
			Valu("t25", OpLess64, c.config.Types.Bool, 0, nil, "v1", "v2"),
			Valu("t26", OpLeq64, c.config.Types.Bool, 0, nil, "v1", "v2"),
			Valu("t27", OpEqB, c.config.Types.Bool, 0, nil, "v4", "v4"),