diff --git a/reid/src/mir/typecheck.rs b/reid/src/mir/typecheck.rs
index f3c782f..044bb6e 100644
--- a/reid/src/mir/typecheck.rs
+++ b/reid/src/mir/typecheck.rs
@@ -56,7 +56,7 @@ impl<'t> Pass for TypeCheck<'t> {
 
     fn module(&mut self, module: &mut Module, mut state: PassState<ErrorKind>) {
         for function in &mut module.functions {
-            let res = function.typecheck(&self.refs, &mut state);
+            let res = function.typecheck(&self.refs, &mut state.inner());
             state.ok(res, function.block_meta());
         }
     }