}

// simplified test 2
var _ B2[A2]

type A2 struct {
	_ B2[string]
}

type B2[P any] struct {
	_ C2[P]
}

type C2[P any] struct {
	_ P
}

// test case from issue
type T23 interface {
	~struct {
		Field0 T13[T15]
	}
}

type T1[P1 interface {
}] struct {
	Field2 P1
}

type T13[P2 interface {
}] struct {
	Field2 T1[P2]
}

type T15 struct {

	if a != want {
		t.Errorf("t17copy got=%v, want %v\n", a, want)
	}
}

type T23 struct {
	pre  [8]byte
	mid  [23]byte
	post [8]byte
}

//go:noinline
func t23copy_ssa(y, x *[23]byte) {
	*y = *x
}
func testCopy23(t *testing.T) {

            }
            val t22: TaskProvider<Copy> = tasks.register("koto", Copy::class) {
                description += "!"
                destinationDir = file("out")
            }
            val t23: TaskProvider<Copy> = tasks.register<Copy>("diptote") {
                description += "!"
                destinationDir = file("out")
            }
            """
        )
    }

    @Test

			Valu("t20", OpCtz64, c.config.Types.Int64, 0, nil, "v2"),
			Valu("t21", OpSlicemask, c.config.Types.Int64, 0, nil, "t20"),
			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"),