Module generics

Help

Structs§

ConstConditions: ~const bounds for a given item. This is represented using a struct much like GenericPredicates, where you can either choose to only instantiate the “own” bounds or all of the bounds including those from the parent. This distinction is necessary for code like compare_method_predicate_entailment.
GenericParamCount
GenericParamDef
GenericPredicates: Bounds on generics.
Generics: Information about the formal type/lifetime parameters associated with an item or method. Analogous to hir::Generics.