为没有显式类型的变量插入类型声明。