From b5d95e6f69a6a30143e04ce9ce597fe6edc039c8 Mon Sep 17 00:00:00 2001
From: Shunsuke Shibayama <sbym1346@gmail.com>
Date: Sun, 5 Jan 2025 00:34:55 +0900
Subject: [PATCH] chore: change builtin functions return types

---
 crates/erg_compiler/context/initialize/funcs.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/crates/erg_compiler/context/initialize/funcs.rs b/crates/erg_compiler/context/initialize/funcs.rs
index 6fa42dc2e..1fe061e19 100644
--- a/crates/erg_compiler/context/initialize/funcs.rs
+++ b/crates/erg_compiler/context/initialize/funcs.rs
@@ -99,7 +99,7 @@ impl Context {
                 KW_ITERABLE,
                 poly(ITERABLE, vec![ty_tp(tuple_t(vec![T.clone(), U.clone()]))]),
             )],
-            dict! { T.clone() => U.clone() }.into(),
+            out_dict_t(dict! { T.clone() => U.clone() }.into()),
         )
         .quantify();
         let t_discard = nd_func(vec![kw(KW_OBJ, Obj)], None, NoneType);
@@ -381,7 +381,7 @@ impl Context {
         let t_set = no_var_func(
             vec![],
             vec![kw(KW_ITERABLE, poly(ITERABLE, vec![ty_tp(T.clone())]))],
-            set_t(T.clone(), TyParam::erased(Nat)),
+            out_set_t(T.clone(), TyParam::erased(Nat)),
         )
         .quantify();
         let t_slice = no_var_func(