{"ast_node_type":"other","tokens":[{"end":82,"kind":"keyword","start":0,"text":"///"}]}
/// 3. Asserting that all parameters mentioned in the captures list are invariant.
/// 2. Checking that all lifetimes that are implicitly captured are mentioned.
fn check_opaque_precise_captures<'tcx>(tcx: TyCtxt<'tcx>, opaque_def_id: LocalDefId) {