E4032

E4032#

编译器诊断名称:type_not_found

这个类型未定义。

当类型标注、构造器路径、trait 约束或其他类型位置引用了当前作用域中不可见的类型时,会出现此错误。

错误示例#

pub fn make(x : Missing) -> Unit {
  //          ^~~~~~~
  // Error: The type Missing is undefined.
  ignore(x)
}

建议#

使用当前包中已定义且可见的类型,或导入定义该类型的包。

pub fn make(x : Int) -> Unit {
  ignore(x)
}