{"ast_node_type":"other","tokens":[{"end":47,"kind":"keyword","start":0,"text":"#[instrument(level"}]}
#[instrument(level = "trace", skip(ecx, body))]
// Returns a pointer to where the result lives
fn eval_body_using_ecx<'tcx, R: InterpretationResult<'tcx>>(