{"ast_node_type":"function","tokens":[{"end":91,"kind":"keyword","start":0,"text":"pub(super)"}]}
pub(super) fn validate_body<'tcx>(tcx: TyCtxt<'tcx>, body: &mut Body<'tcx>, when: String) {
    validate::Validator { when }.run_pass(tcx, body);