What version of Go are you using (go version)?

$ go version
go version go1.20.1 darwin/amd64

Does this issue reproduce with the latest release?

Yes

What did you do?

package main

import "unsafe"

type foo struct {
	a int64
	b bool
}

func main() {
	var _ [unsafe.Sizeof(foo{}) - 16]byte
        println(unsafe.Sizeof(foo{}))
}

This program compiles ok and can print 16 on amd64. However, go vet reports
vet: ./prog.go:11:9: unsafe.Sizeof(foo{}) - 16 (constant -7 of type uintptr) overflows uintptr.
This may be due to a miscalculation of unsafe.Sizeof(foo{}) by go/types packages.
cc @griesemer