var d D[T]
	d.C.B1.A1 = &A1[T]{}
	d.C.B1.A2 = &ImpA2[T]{}
	d.m1(arg)
	d.m2(arg)

	// calling method expressions
	m1x := B1[T].m1
	m1x(b1, arg)
	// TODO(khr): reenable these.
	//m2x := B2[T].m2
	//m2x(b2, arg)

	// calling method values
	m1v := b1.m1
	m1v(arg)
	m2v := b1.m2
	m2v(arg)
	b2v := b2.m2
	b2v(arg)
}

func test2() {
	// calling embedded methods
	var b1 B1[string]

	b1.m2("")

	var b2 B2[string]
	b2.m2("")

	// a deeper nesting
	var d D[string]
	d.m1("")
	d.m2("")

	// calling method expressions
	m1x := B1[string].m1
	m1x(b1, "")
	m2x := B2[string].m2
	m2x(b2, "")

	// calling method values
	m1v := b1.m1
	m1v("")
	m2v := b1.m2
	m2v("")
	b2v := b2.m2
	b2v("")
}

// actual test case from issue

type A[T any] struct{}