Module rustc_middle::ty::typeck_results
source · Structs
Enums
- A user-given type annotation attached to a constant. These arise from constants that are named via paths, like
Foo::<A>::new
and so forth.
Constants
Functions
- Validate that the given HirId (respectively its
local_id
part) can be safely used as a key in the maps of a TypeckResults. For that to be the case, the HirId must have the sameowner
as all the other IDs in this table (signified byhir_owner
). Otherwise the HirId would be in a different frame of reference and using itslocal_id
would result in lookup errors, or worse, in silently wrong data being stored/returned.
Type Aliases
- Canonical user type annotation.
- Mapping of type annotation indices to canonical user type annotations.