[−][src]Module rustc_trait_selection::opaque_types

Structs

ConstrainOpaqueTypeRegionVisitor
Instantiator
OpaqueTypeDecl	Information about the opaque types whose values we are inferring in this function (these are the `impl Trait` that appear in the return type).
ReverseMapper

Whether member constraints should be generated for all opaque types

may_define_opaque_type	Returns `true` if `opaque_hir_id` is a sibling or a child of a sibling of `def_id`.
required_region_bounds	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.