Module ra_ap_hir_def::generics

Many kinds of items or constructs can have generic parameters: functions, structs, impls, traits, etc. This module provides a common HIR for these generic parameters. See also the Generics type and the generics_of query in rustc.

Structs

ConstParamData	Data about a generic const parameter (to a function, struct, impl, …).
GenericParams	Data about the generic parameters of a function, struct, impl, etc.
LifetimeParamData	Data about a generic lifetime parameter (to a function, struct, impl, …).
TypeParamData	Data about a generic type parameter (to a function, struct, impl, …).

Enums

TypeParamProvenance
WherePredicate	A single predicate from a where clause, i.e. where Type: Trait. Combined where clauses like where T: Foo + Bar are turned into multiple of these. It might still result in multiple actual predicates though, because of associated type bindings like Iterator<Item = u32>.
WherePredicateTypeTarget