{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"(max_universe,"}]}
                (max_universe, var_kinds)
                let var_kinds = self.delegate.cx().mk_canonical_var_kinds(&var_kinds);
            }