diff --git a/compiler/noirc_frontend/src/tests.rs b/compiler/noirc_frontend/src/tests.rs index 781de24ae3a..c29d9b03c7a 100644 --- a/compiler/noirc_frontend/src/tests.rs +++ b/compiler/noirc_frontend/src/tests.rs @@ -2485,6 +2485,16 @@ fn trait_impl_generics_count_mismatch() { assert_eq!(*found, 1); } +#[test] +fn bit_not_on_untyped_integer() { + let src = r#" + fn main() { + let _: u32 = 3 & !1; + } + "#; + assert_no_errors(src); +} + #[test] fn duplicate_struct_field() { let src = r#"