manual says: any: distinct auto (see below) but doesnt' actually elaborate; what's the difference between any and auto?
they seem to behave the same with behavior: "bind many"
proc fn(a, b: auto)= # works
# proc fn(a, b: any)= # also works
echo (a,b, $type(a), $type(b))
fn 'a', 1.2
also this doesn't work
type
Hello[A,B] = object
a : A
b : B
proc hi(a : Hello[any,any]) =
discard
var
x = Hello[int,float](a:5, b:7.0)
hi(x)
as it tries to bind any to the same type