The below only reports a layout cycle for A — it misses the layout cycle for B.

type A struct {
	a A
}
type B struct {
	a A
	b B
}

Fairly confident this is a problem with validType, which is probably short circuiting on the invalid for A in B. This is already patched locally for me, but we seem to rely on this bug for a test in x/tools.