Merge 399bb7c into 806af24

compiler/noirc_frontend/src/elaborator/types.rs

@@ -1041,9 +1041,6 @@ impl<'context> Elaborator<'context> {
             // Matches on TypeVariable must be first so that we follow any type
             // bindings.
             (TypeVariable(int, _), other) | (other, TypeVariable(int, _)) => {
-                if let TypeBinding::Bound(binding) = &*int.borrow() {
-                    return self.infix_operand_type_rules(binding, op, other, span);
-                }
                 if op.kind == BinaryOpKind::ShiftLeft || op.kind == BinaryOpKind::ShiftRight {
                     self.unify(
                         rhs_type,
@@ -1058,6 +1055,9 @@ impl<'context> Elaborator<'context> {
                     };
                     return Ok((lhs_type.clone(), use_impl));
                 }
+                if let TypeBinding::Bound(binding) = &*int.borrow() {
+                    return self.infix_operand_type_rules(binding, op, other, span);
+                }
                 let use_impl = self.bind_type_variables_for_infix(lhs_type, op, rhs_type, span);
                 Ok((other.clone(), use_impl))
             }

test_programs/compile_success_empty/regression_5823/Nargo.toml

@@ -0,0 +1,7 @@
+[package]
+name = "regression_5823"
+type = "bin"
+authors = [""]
+compiler_version = ">=0.33.0"
+
+[dependencies]

test_programs/compile_success_empty/regression_5823/src/main.nr

@@ -0,0 +1,5 @@
+fn main() {
+    let x = 1 as u64;
+    let y = 2 as u8;
+    assert_eq(x << y, 4);
+}