{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"arena_vec![self;"}]}
                            arena_vec![self; principal],
                        hir::TyKind::TraitObject(
                            TaggedRef::new(self.elided_dyn_bound(span), TraitObjectSyntax::None),