rustc_hir_analysis::collect::resolve_bound_vars

Function opaque_captures_all_in_scope_lifetimes

Source 
fn opaque_captures_all_in_scope_lifetimes<'tcx>(
    tcx: TyCtxt<'tcx>,
    opaque: &'tcx OpaqueTy<'tcx>,
) -> bool
Expand description

Whether this opaque always captures lifetimes in scope. Right now, this is all RPITIT and TAITs, and when lifetime_capture_rules_2024 is enabled. We don’t check the span of the edition, since this is done on a per-opaque basis to account for nested opaques.