Module 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

GenericParamData

GenericParamDataRef

TypeOrConstParamData

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