{"ast_node_type":"function","tokens":[{"end":86,"kind":"keyword","start":0,"text":"fn"}]}
fn check_opaque_precise_captures<'tcx>(tcx: TyCtxt<'tcx>, opaque_def_id: LocalDefId) {
/// 3. Asserting that all parameters mentioned in the captures list are invariant.
    let hir::OpaqueTy { bounds, .. } = *tcx.hir_node_by_def_id(opaque_def_id).expect_opaque_ty();