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.
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).
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).