Module ra_ap_hir_def::generics [−][src]
Expand description
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
Data about a generic const parameter (to a function, struct, impl, …).
Data about the generic parameters of a function, struct, impl, etc.
Data about a generic lifetime parameter (to a function, struct, impl, …).
Data about a generic type parameter (to a function, struct, impl, …).
Enums
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>
.