Address feedback

swift-mx · Aug 11, 2022 · 67f9890 · 67f9890
1 parent 974e93c
commit 67f9890
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 5 deletions.
diff --git a/compiler/passes/src/type_checking/checker.rs b/compiler/passes/src/type_checking/checker.rs
@@ -322,10 +322,8 @@ impl<'a> TypeChecker<'a> {
     pub(crate) fn assert_type_is_valid(&self, span: Span, type_: &Type) {
         match type_ {
             // Check that the named composite type has been defined.
-            Type::Identifier(identifier) => {
-                if self.symbol_table.borrow().lookup_circuit(identifier.name).is_none() {
-                    self.emit_err(TypeCheckerError::undefined_type(identifier.name, span));
-                }
+            Type::Identifier(identifier) if self.symbol_table.borrow().lookup_circuit(identifier.name).is_none() => {
+                self.emit_err(TypeCheckerError::undefined_type(identifier.name, span));
             }
             // Check that the constituent types are valid.
             Type::Tuple(tuple_type) => {

diff --git a/tests/compiler/circuits/unknown_member_type_fail.leo b/tests/compiler/circuits/unknown_member_type_fail.leo
@@ -11,4 +11,4 @@ circuit Foo {
 @program
 function main(a: u8) -> u8 {
     return a + 1u8;
-}
+}
-Original file line number
+Diff line change
@@ Expand Up / @@ -11,4 +11,4 @@ circuit Foo { @@
     @program
     function main(a: u8) -> u8 {
         return a + 1u8;
-    }
+    }