{"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":"}"}]}
            }
                self.lower_opaque_ty(opaque_ty.def_id, in_trait)
            hir::TyKind::TraitAscription(hir_bounds) => {