{"ast_node_type":"other","tokens":[{"end":14,"kind":"keyword","start":0,"text":");"}]}
            );
                TaggedRef::new(lifetime_bound, TraitObjectSyntax::None),
            return hir::Ty { kind, span: self.lower_span(t.span), hir_id: self.next_id() };