{"ast_node_type":"other","tokens":[{"end":86,"kind":"keyword","start":0,"text":"supertrait_principal:"}]}
                    supertrait_principal: supertrait_principal.map_bound(|trait_ref| {
                    self_ty,
                        ty::ExistentialTraitRef::erase_self_ty(tcx, trait_ref)