tyck: Clean up implementation of widen

jinko-core · Aug 29, 2024 · 59e8dae · 59e8dae
1 parent 21937e3
commit 59e8dae
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/typecheck/src/widen.rs b/typecheck/src/widen.rs
@@ -32,8 +32,7 @@ fn widen_inner(
     }
 }
 
-pub fn widen(fir: &Fir<FlattenData<'_>>, mut type_ctx: TypeCtx<TypeMap>) -> TypeCtx<TypeMap> {
-    let primitives = core::mem::take(&mut type_ctx.primitives);
+pub fn widen(fir: &Fir<FlattenData<'_>>, type_ctx: TypeCtx<TypeMap>) -> TypeCtx<TypeMap> {
     let types = type_ctx
         .types
         .types
@@ -49,5 +48,8 @@ pub fn widen(fir: &Fir<FlattenData<'_>>, mut type_ctx: TypeCtx<TypeMap>) -> Type
             tymap
         });
 
-    TypeCtx { primitives, types }
+    TypeCtx {
+        primitives: type_ctx.primitives,
+        types,
+    }
 }