{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"check_no_patterns(tcx,"}]}
    check_no_patterns(tcx, body.params);
    debug_assert!(find_attr!(tcx.get_all_attrs(def_id), AttributeKind::Naked(..)));
    check_no_parameters_use(tcx, body);