From 0ff995722c99c9b4260eff9d94c581be0088f7f6 Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Mon, 20 Dec 2021 18:13:45 +0800
Subject: [PATCH] Revert "nac3core: add missing expr concrete type check"

This reverts commit cb450372d657d5d859f633fbeaf88fa80404bbb3.
---
 nac3core/src/typecheck/function_check.rs | 2 --
 1 file changed, 2 deletions(-)

diff --git a/nac3core/src/typecheck/function_check.rs b/nac3core/src/typecheck/function_check.rs
index b65f4995d..65c810e08 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)?;
                 }