{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"traits.push(trait_);"}]}
                    traits.push(trait_);
                if db.attrs(trait_.into()).has_doc_notable_trait() {
                }