{"ast_node_type":"other","tokens":[{"end":28,"kind":"keyword","start":0,"text":"body_def_id:"}]}
    body_def_id: LocalDefId,
    pub(super) ocx: ObligationCtxt<'a, 'tcx, FulfillmentError<'tcx>>,
    param_env: ty::ParamEnv<'tcx>,