Module rustc_trait_selection::opaque_types [−][src]
Structs
Information about the opaque types whose values we
are inferring in this function (these are the impl Trait that
appear in the return type).
Enums
Whether member constraints should be generated for all opaque types
Traits
Functions
Returns true if opaque_hir_id is a sibling or a child of a sibling of def_id.
Given a set of predicates that apply to an object type, returns
the region bounds that the (erased) Self type must
outlive. Precisely because the Self type is erased, the
parameter erased_self_ty must be supplied to indicate what type
has been used to represent Self in the predicates
themselves. This should really be a unique type; FreshTy(0) is a
popular choice.