Two elements in the same scope which have same name should have same type.

• 同一作用域中名称相同的两个元素应具有相同的类型。