This code embarrassingly never triggers an overflow check

package main
import "math"
type in = int
func main() {
	v := uint64(math.MaxUint64)
	_ = in(v)
}

and the reason is because the check if the end type is an integer is quite brittle per

but really we should get the final type by doing this and check if it is an int cast

destType := ctx.Info.TypeOf(fun).Underlying()
intCast := hasAnyPrefix(destType.String(), "int", "uint")