{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"push_new_def(trait_.into());"}]}
            push_new_def(trait_.into());
        } else if let Some(trait_) = t.as_dyn_trait() {
        } else if let Some(traits) = t.as_impl_traits(db) {