Function rustc_hir_analysis::check::check::check_opaque_precise_captures

source · 
fn check_opaque_precise_captures<'tcx>(
    tcx: TyCtxt<'tcx>,
    opaque_def_id: LocalDefId
)
Expand description

Check that the opaque’s precise captures list is valid (if present). We check this for regular impl Traits and also RPITITs, even though the latter are technically GATs.

This function is responsible for:

  1. Checking that all type/const params are mention in the captures list.
  2. Checking that all lifetimes that are implicitly captured are mentioned.
  3. Asserting that all parameters mentioned in the captures list are invariant.