泛型推导限制

类型 var T 和 typedesc [T] 不能在泛型实例中推断出来。以下是不允许的：

  1. proc g[T](f: proc(x: T); x: T) =
  2.   f(x)
  3.  
  4. proc c(y: int) = echo y
  5. proc v(y: var int) =
  6.   y += 100
  7. var i: int
  8.  
  9. # 允许：推断 'T' 为 'int' 类型
  10. g(c, 42)
  11.  
  12. # 无效：'T'不推断为'var int'类型
  13. g(v, i)
  14.  
  15. # 也不允许：通过'var int'进行显式实例化
  16. g[var int](v, i)