当编译器解析一个文件，遇到一个变量类型，一个参数类型或者一个返回类型，它会执行搜索它的定义，以如下的顺序优先级： * 类型参数如类参数或者 enum 参数。这不是一个好的实践来定义一个类型参数使用和一个现存类型相同的名字，但是它可能偶然发生在一个外部的库被导入时。 * 如 Float 或者 String 等类型，因为它们是 StdTypes 模块中包含的，默认被导入，并包含标准类型的定义。 * 在当前文件声明的类型。 * 在导入文件中声明的类型。 * 尝试加载一个文件匹配类型名称并查找它。