{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"self.var_stack.push(var);"}]}
                self.var_stack.push(var);
                // known_ty may contain other variables that are known by now
                let result = known_ty.fold_with(self, outer_binder);