I guess this is related to this type system "issue":
proc add(x: int): int = x + 2
echo type(add(2))
echo type(add)
Run
returns
int
None
Run
Why `None` ? Shouldn't this be `proc (it: int): int` ?
