Skip to main content

Module errors

Module errors 

Source

StructsΒ§

AmbiguousName πŸ”’
A name bound to two different items by two competing glob imports, reported at the first use of the name (imports themselves are never an error). Mirrors rustc’s E0659.
DuplicateDefinition πŸ”’
DuplicateParam πŸ”’
UnknownParametricParam πŸ”’
UnknownQualifier πŸ”’
UnknownRevealDefinition πŸ”’
UnresolvedImport πŸ”’
An import path (flux::use foo::bar::baz) that could not be resolved. Unlike UnresolvedName, this always reports the full requested path in the message and explains, via reason, what specifically went wrong at the failing segment (not found, or found but not a module).
UnresolvedName πŸ”’
A name that could not be resolved. kind is the user-facing description of what was being looked for ("type", "value", "sort", …); it is passed explicitly by each call site because it no longer matches the resolution Namespace (e.g. sorts are resolved in the type namespace).