{"ast_node_type":"other","tokens":[{"end":14,"kind":"keyword","start":0,"text":"},"}]}
            },
                    .map(|source| ast::AnyHasAttrs::new(source[id.local_id].clone())),
            AttrDefId::ExternBlockId(id) => any_has_attrs(db, id),