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