From 1f72d8e340e8fd563961aa7e9259e0dc8c6d2064 Mon Sep 17 00:00:00 2001
From: Kisaragi Marine <kisaragi.effective@gmail.com>
Date: Sun, 14 Jul 2024 16:56:26 +0900
Subject: [PATCH] refactor(typeck): remove unnecessary boxing

---
 package/origlang-typecheck/src/type_check.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/package/origlang-typecheck/src/type_check.rs b/package/origlang-typecheck/src/type_check.rs
index 6a9940cd..8340c936 100644
--- a/package/origlang-typecheck/src/type_check.rs
+++ b/package/origlang-typecheck/src/type_check.rs
@@ -463,7 +463,7 @@ impl TryIntoTypeCheckedForm for RootAst {
 }
 
 pub struct TypeChecker {
-    ctx: Box<RefCell<Context>>
+    ctx: RefCell<Context>
 }
 
 impl TypeChecker {
@@ -529,7 +529,7 @@ impl TypeChecker {
     #[must_use]
     pub fn new() -> Self {
         Self {
-            ctx: Box::new(RefCell::new(Context::empty())),
+            ctx: RefCell::new(Context::empty()),
         }
     }