diff --git a/compiler/erg_compiler/build_hir.rs b/compiler/erg_compiler/build_hir.rs
index 9fd70929..6640e2f7 100644
--- a/compiler/erg_compiler/build_hir.rs
+++ b/compiler/erg_compiler/build_hir.rs
@@ -105,9 +105,11 @@ impl HIRBuilder {
         let hir = effect_checker
             .check(artifact.object)
             .map_err(|(hir, errs)| {
+                self.lowerer.ctx.clear_all_vars();
                 IncompleteArtifact::new(Some(hir), errs, artifact.warns.clone())
             })?;
         let hir = self.ownership_checker.check(hir).map_err(|(hir, errs)| {
+            self.lowerer.ctx.clear_all_vars();
             IncompleteArtifact::new(Some(hir), errs, artifact.warns.clone())
         })?;
         Ok(CompleteArtifact::new(hir, artifact.warns))