go/types, types2: panic with invalid cyclic program involving unsafe.Sizeof

This program panics when type checking ([playground](https://go.dev/play/p/00wu1fvQQwq)):
```Go
type A [unsafe.Sizeof(S{})]byte

type S struct {
	a A
}
```
The program is invalid but the type checker/compiler should report an error.