6.2 局部类型