Update compiler/noirc_frontend/src/elaborator/types.rs

noir-lang · Jul 31, 2024 · 2fa963c · 2fa963c
1 parent 5502f18
commit 2fa963c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/compiler/noirc_frontend/src/elaborator/types.rs b/compiler/noirc_frontend/src/elaborator/types.rs
@@ -790,8 +790,8 @@ impl<'context> Elaborator<'context> {
             Type::TypeVariable(_, _) => {
                 // NOTE: in reality the expected type can also include bool, but for the compiler's simplicity
                 // we only allow integer types. If a bool is in `from` it will need an explicit type annotation.
-                let expected = &&Type::polymorphic_integer_or_field(self.interner);
-                self.unify(from, expected, || TypeCheckError::InvalidCast {
+                let expected = Type::polymorphic_integer_or_field(self.interner);
+                self.unify(from, &expected, || TypeCheckError::InvalidCast {
                     from: from.clone(),
                     span,
                 });