untyped 可变参数

除了 untyped 元类型可以阻止类型检查之外，用了 varargs[untyped] 连参数的个数也不检查的了:

  1. template hideIdentifiers(x: varargs[untyped]) = discard
  3. hideIdentifiers(undeclared1, undeclared2)

然而，因为模板不能遍历可变参数，一般而言这个功能在宏中更有用。