forked from M-Labs/nac3
Revert "nac3core: add missing expr concrete type check"
This reverts commit cb450372d6
.
This commit is contained in:
parent
e2b44a066b
commit
0ff995722c
|
@ -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)?;
|
||||
}
|
||||
|
|
Loading…
Reference in New Issue