{"ast_node_type":"other","tokens":[{"end":47,"kind":"keyword","start":0,"text":"#[instrument(skip(fcx,"}]}
#[instrument(skip(fcx, body), level = "debug")]
/// * inherited: other fields inherited from the enclosing fn (if any)
pub(super) fn check_fn<'a, 'tcx>(