This program panics when type checking (playground):

type A [unsafe.Sizeof(S{})]byte

type S struct {
	a A
}

The program is invalid but the type checker/compiler should report an error.