package main

import "fmt"

type IntLike interface {
	~int | ~int64 | ~int32 | ~int16 | ~int8
}

func Reduce[T any, U any, Uslice ~[]U](function func(T, U) T, sequence Uslice, initial T) T {
	result := initial
	for _, x := range sequence {
		result = function(result, x)
	}
	return result
}

func min[T IntLike](x, y T) T {
	if x < y {
		return x
	}
	return y

}

// Min returns the minimum element of `nums`.
func Min[T IntLike, NumSlice ~[]T](nums NumSlice) T {
	if len(nums) == 0 {
		return T(0)
	}
	return Reduce(min[T], nums, nums[0])
}

// VarMin is the variadic version of Min.
func VarMin[T IntLike](nums ...T) T {
	return Min(nums)
}

type myInt int

func main() {
	fmt.Println(VarMin(myInt(1), myInt(2))) // OK

	seq := []myInt{1, 2}
	fmt.Println(Min(seq))       // OK
	fmt.Println(VarMin(seq...)) // ERROR

}

1
1
1

./prog.go:46:20: internal compiler error: assigning nums (type []myInt) to parameter nums (type go.shape.[]int_1)

Please file a bug report including a short program that triggers the error.
https://go.dev/issue/new

Go build failed.