出于代码生成的目的，所有静态参数都被视为通用参数 - proc将针对每个唯一提供的值（或值的组合）单独编译。

请注意， 只是底层泛型类型 static[T] 的语法方便。 可以省略类型参数以获取所有常量表达式的类型类。 可以通过使用另一个类型类实例化 static 来创建更具体的类型类。

编译器将报告任何未能评估表达式或可能的类型不匹配错误。