The result of resolving a path before lowering to HIR,
with “module” segments resolved and associated item
segments deferred to type checking.
base_res is the resolution of the resolved part of the
path, unresolved_segments is the number of unresolved
segments.
Different kinds of symbols can coexist even if they share the same textual name.
Therefore, they each have a separate universe (known as a “namespace”).