{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"if"}]}
                                    if !name.as_str().starts_with("rustc_") {
                                    // attributes by name. That should allow trimming the above list, too.
                                        span_bug!(