fix: don't crash on untyped global used as array length

noir-lang · Sep 18, 2024 · 7527dc1 · 7527dc1
1 parent 19eef30
commit 7527dc1
Show file tree

Hide file tree

Showing 3 changed files with 22 additions and 10 deletions.
diff --git a/compiler/noirc_frontend/src/elaborator/types.rs b/compiler/noirc_frontend/src/elaborator/types.rs
@@ -655,18 +655,21 @@ impl<'context> Elaborator<'context> {
                 int.try_into_u128().ok_or(Some(ResolverError::IntegerTooLarge { span }))
             }
             HirExpression::Ident(ident, _) => {
-                let definition = self.interner.definition(ident.id);
-                match definition.kind {
-                    DefinitionKind::Global(global_id) => {
-                        let let_statement = self.interner.get_global_let_statement(global_id);
-                        if let Some(let_statement) = let_statement {
-                            let expression = let_statement.expression;
-                            self.try_eval_array_length_id_with_fuel(expression, span, fuel - 1)
-                        } else {
-                            Err(Some(ResolverError::InvalidArrayLengthExpr { span }))
+                if let Some(definition) = self.interner.try_definition(ident.id) {
+                    match definition.kind {
+                        DefinitionKind::Global(global_id) => {
+                            let let_statement = self.interner.get_global_let_statement(global_id);
+                            if let Some(let_statement) = let_statement {
+                                let expression = let_statement.expression;
+                                self.try_eval_array_length_id_with_fuel(expression, span, fuel - 1)
+                            } else {
+                                Err(Some(ResolverError::InvalidArrayLengthExpr { span }))
+                            }
                         }
+                        _ => Err(Some(ResolverError::InvalidArrayLengthExpr { span })),
                     }
-                    _ => Err(Some(ResolverError::InvalidArrayLengthExpr { span })),
+                } else {
+                    Err(Some(ResolverError::InvalidArrayLengthExpr { span }))
                 }
             }
             HirExpression::Infix(infix) => {

diff --git a/test_programs/compile_failure/global_without_a_type_used_as_array_length/Nargo.toml b/test_programs/compile_failure/global_without_a_type_used_as_array_length/Nargo.toml
@@ -0,0 +1,7 @@
+[package]
+name = "global_without_a_type_used_as_array_length"
+type = "bin"
+authors = [""]
+compiler_version = ">=0.33.0"
+
+[dependencies]
diff --git a/test_programs/compile_failure/global_without_a_type_used_as_array_length/src/main.nr b/test_programs/compile_failure/global_without_a_type_used_as_array_length/src/main.nr
@@ -0,0 +1,2 @@
+global BAR = OOPS;
+global X: [Field; BAR] = [];