Add a regression test for bit not on untyped integer

compiler/noirc_frontend/src/tests.rs

@@ -2485,3 +2485,13 @@ fn trait_impl_generics_count_mismatch() {
     assert_eq!(*expected, 0);
     assert_eq!(*found, 1);
 }
+
+#[test]
+fn bit_not_on_untyped_integer() {
+    let src = r#"
+    fn main() {
+        let _: u32 = 3 & !1;
+    }
+    "#;
+    assert_no_errors(src);
+}