{"ast_node_type":"other","tokens":[{"end":37,"kind":"keyword","start":0,"text":"self.var_stack.pop();"}]}
                self.var_stack.pop();
                let result = known_ty.fold_with(self, outer_binder);
                result.assert_ty_ref(Interner).clone()