Module generics

Structs§

ConstConditions: [const] bounds for a given item. This is represented using a struct much like GenericClauses, 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.
GenericClauses: Bounds on generics.
GenericParamCount
GenericParamDef
Generics: Information about the formal type/lifetime parameters associated with an item or method. Analogous to hir::Generics.