Structs§
- Canonical
User Type Annotation - Local
SetIn Context - Local
SetIn Context Mut - Local
Table InContext - Local
Table InContext Mut - Rust2024
Incompatible PatInfo - Information on a pattern incompatible with Rust 2024, for use by the error/migration diagnostic emitted during THIR construction.
- Typeck
Results - User
Type - User
Type Annotation Index
Enums§
- User
Type Kind - A user-given type annotation attached to a constant. These arise
from constants that are named via paths, like
Foo::<A>::newand so forth.
Constants§
Traits§
Functions§
- invalid_
hir_ 🔒id_ for_ typeck_ results - validate_
hir_ 🔒id_ for_ typeck_ results - Validate that the given HirId (respectively its
local_idpart) can be safely used as a key in the maps of a TypeckResults. For that to be the case, the HirId must have the sameowneras all the other IDs in this table (signified byhir_owner). Otherwise the HirId would be in a different frame of reference and using itslocal_idwould result in lookup errors, or worse, in silently wrong data being stored/returned.
Type Aliases§
- Canonical
User Type - Canonical user type annotation.
- Canonical
User Type Annotations - Mapping of type annotation indices to canonical user type annotations.