diff --git a/nac3core/src/typecheck/function_check.rs b/nac3core/src/typecheck/function_check.rs
index b65f4995..65c810e0 100644
--- a/nac3core/src/typecheck/function_check.rs
+++ b/nac3core/src/typecheck/function_check.rs
@@ -24,13 +24,11 @@ impl<'a> Inferencer<'a> {
                 if !defined_identifiers.contains(id) {
                     defined_identifiers.insert(*id);
                 }
-                self.check_expr(pattern, defined_identifiers)?;
                 self.should_have_value(pattern)?;
                 Ok(())
             }
             ExprKind::Tuple { elts, .. } => {
                 for elt in elts.iter() {
-                    self.check_expr(pattern, defined_identifiers)?;
                     self.check_pattern(elt, defined_identifiers)?;
                     self.should_have_value(elt)?;
                 }