E4032

Compiler diagnostic name: type_not_found.

The type is undefined.

This error happens when a type annotation, constructor path, trait bound, or other type position refers to a type that is not in scope.

Erroneous example

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

Suggestion

Use a type that is defined and visible from the current package, or import the package that defines the type.

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