{"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":"{"}]}
            {
                ty.kind()
                self.add_required_obligations_for_hir(span, *def_id, args, hir_id);