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