此意图可以添加局部值、变量、属性和函数的显式类型规范。