The following code causes a compiler crash (playground):
package p
import "time"
type S[T any] struct {
a T
b time.Time
}
var _ S[time.Time]
panic: /Users/gri/goroot/src/cmd/compile/internal/types2/validtype.go:126: assertion failed [recovered]
panic: /Users/gri/goroot/src/cmd/compile/internal/types2/validtype.go:126: assertion failed [recovered]
panic: /Users/gri/goroot/src/cmd/compile/internal/types2/validtype.go:126: assertion failed