From 20047e93cb651886060bc247b4fd68c48f388e2a Mon Sep 17 00:00:00 2001 From: Jake Fecher Date: Mon, 8 May 2023 11:39:44 -0500 Subject: [PATCH] Fix #1315 --- crates/noirc_frontend/src/hir/type_check/stmt.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/crates/noirc_frontend/src/hir/type_check/stmt.rs b/crates/noirc_frontend/src/hir/type_check/stmt.rs index ccb35070a3..73ae8ebc94 100644 --- a/crates/noirc_frontend/src/hir/type_check/stmt.rs +++ b/crates/noirc_frontend/src/hir/type_check/stmt.rs @@ -153,7 +153,7 @@ impl<'interner> TypeChecker<'interner> { (Type::Error, None) }; - let (typ, field_index) = match result { + let (typ, field_index) = match result.follow_bindings() { Type::Struct(def, args) => { match def.borrow().get_field(&field_name.0.contents, &args) { Some((field, index)) => (field, Some(index)),