Skip to content

Commit bb4de3c

Browse files
AztecBotTomAFrench
andauthored
chore: inline snapshot + fix clippy lint in impl-generic monomorphization test (#12757)
Co-authored-by: Tom French <15848336+TomAFrench@users.noreply.github.com>
1 parent 6440eb2 commit bb4de3c

3 files changed

Lines changed: 17 additions & 19 deletions

File tree

compiler/noirc_frontend/src/monomorphization/builtin.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -38,6 +38,7 @@ impl Monomorphizer<'_> {
3838
/// Prerequisite: `typ = typ.follow_bindings()`,
3939
/// and: `turbofish_generics = vecmap(turbofish_generics, Type::follow_bindings)`,
4040
/// and: `bindings_key` was produced by `Monomorphizer::canonicalize_bindings`.
41+
#[expect(clippy::too_many_arguments)]
4142
pub(super) fn try_evaluate_builtin(
4243
&mut self,
4344
opcode_string: &str,

compiler/noirc_frontend/src/monomorphization/snapshots/noirc_frontend__monomorphization__tests__impl_generic_in_body_only_distinct_monomorphizations.snap

Lines changed: 0 additions & 18 deletions
This file was deleted.

compiler/noirc_frontend/src/monomorphization/tests.rs

Lines changed: 16 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -429,7 +429,22 @@ fn impl_generic_in_body_only_distinct_monomorphizations() {
429429
"#;
430430

431431
let program = get_monomorphized(src).unwrap();
432-
insta::assert_snapshot!(program);
432+
insta::assert_snapshot!(program, @"
433+
fn main$f0(x$l0: Field) -> () {
434+
check$f1(x$l0);;
435+
check$f2(x$l0);
436+
}
437+
fn check$f1(x$l1: Field) -> () {
438+
for _$l2 in 0 .. 0 {
439+
assert((x$l1 == 0));
440+
}
441+
}
442+
fn check$f2(x$l3: Field) -> () {
443+
for _$l4 in 0 .. 2 {
444+
assert((x$l3 == 0));
445+
}
446+
}
447+
");
433448
}
434449

435450
#[test]

0 commit comments

Comments
 (0)