泛型推断的局限

泛型实例化时不会推断出 var T 或 typedesc[T]。下面的例子是不允许的:

proc g[T](f: proc(x: T); x: T) =
  f(x)
proc c(y: int) = echo y
proc v(y: var int) =
  y += 100
var i: int
# 允许: 'T' 被推断为 'int' 类型
g(c, 42)
# 不允许: 'T' 不会被推断为 'var int'
g(v, i)
# 也不允许: 明确地通过 'var int' 实例化
g[var int](v, i)