Module rustc_infer::infer::opaque_types
source · Modules
table 🔒
Structs
Visitor that requires that (almost) all regions in the type visited outlive
least_region. We cannot use push_outlives_components because regions in
closure signatures are not included in their outlives components. We need to
ensure all regions outlive the given bound so that we don’t end up with,
say, ReVar appearing in a return type and causing ICEs when other
functions end up with region constraints involving regions from other
functions.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
Functions
Returns
true if opaque_hir_id is a sibling or a child of a sibling of def_id.