{"ast_node_type":"other","tokens":[{"end":43,"kind":"keyword","start":0,"text":"*spans.last().unwrap(),"}]}
                    *spans.last().unwrap(),
                    ty::TraitRef::identity(tcx, principal_trait.def_id()).upcast(tcx),
                )],