Traitsยง
- HasHir
Id - Either a
HirIdor a type which can be identified by one. - Maybe
Def - A type which may either contain a
DefIdor be referred to by aDefId. - MaybeQ
Path - A HIR node which might be a
QPath. - Maybe
ResPath - A HIR node which might be a
QPath::Resolved. - Maybe
Typeck Res
Type Aliasesยง
- DefRes ๐
- OptRes
Path ๐ - A resolved path and the explicit
Selftype if there is one. - QPathId ๐
- A
QPathwith theHirIdof the node containing it.