Skip to content

fix: force_substitute bindings during monomorphization for associated constants#10467

Merged
TomAFrench merged 5 commits intomasterfrom
tf/fix-nested-associated-constants
Nov 11, 2025
Merged

fix: force_substitute bindings during monomorphization for associated constants#10467
TomAFrench merged 5 commits intomasterfrom
tf/fix-nested-associated-constants

Conversation

@TomAFrench
Copy link
Member

@TomAFrench TomAFrench commented Nov 11, 2025

Description

Problem

Resolves #10466

Summary

Additional Context

User Documentation

Check one:

  • No user documentation needed.
  • Changes in docs/ included in this PR.
  • [For Experimental Features] Changes in docs/ to be submitted in a separate PR.

PR Checklist

  • I have tested the changes locally.
  • I have formatted the changes with Prettier and/or cargo fmt on default settings.

Copy link
Contributor

@github-actions github-actions bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

⚠️ Performance Alert ⚠️

Possible performance regression was detected for benchmark 'Test Suite Duration'.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold 1.20.

Benchmark suite Current: 37f3f92 Previous: cf8602d Ratio
test_report_zkpassport_noir-ecdsa_ 3 s 2 s 1.50

This comment was automatically generated by workflow using github-action-benchmark.

CC: @TomAFrench

@asterite asterite changed the title Tf/fix nested associated constants fix: force_substitute bindings during monomorphization for associated constants Nov 11, 2025
@asterite asterite marked this pull request as ready for review November 11, 2025 15:58
@TomAFrench TomAFrench enabled auto-merge November 11, 2025 16:07
Copy link
Contributor

@github-actions github-actions bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

⚠️ Performance Alert ⚠️

Possible performance regression was detected for benchmark 'Execution Time'.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold 1.20.

Benchmark suite Current: 1187a87 Previous: cf8602d Ratio
rollup-checkpoint-merge 0.004 s 0.003 s 1.33

This comment was automatically generated by workflow using github-action-benchmark.

CC: @TomAFrench

@TomAFrench TomAFrench added this pull request to the merge queue Nov 11, 2025
Merged via the queue into master with commit 6512fb9 Nov 11, 2025
134 checks passed
@TomAFrench TomAFrench deleted the tf/fix-nested-associated-constants branch November 11, 2025 16:39
github-merge-queue bot pushed a commit to AztecProtocol/aztec-packages that referenced this pull request Nov 12, 2025
Automated pull of nightly from the
[noir](https://github.com/noir-lang/noir) programming language, a
dependency of Aztec.
BEGIN_COMMIT_OVERRIDE
fix(frontend)!: Preserve int type when quoting tokens
(noir-lang/noir#10330)
fix: check overflow for Pedersen grumpkin scalars
(noir-lang/noir#10462)
chore(frontend): Various tests in elaborator expressions submodule and
minor refactors (noir-lang/noir#10475)
chore: bump external pinned commits
(noir-lang/noir#10477)
fix: disallow keywords in attributes
(noir-lang/noir#10473)
chore: refactor codegen_control_flow
(noir-lang/noir#10320)
fix: builtin with body now errors instead of crashing
(noir-lang/noir#10474)
fix: handle ambiguous trait methods in assumed traits
(noir-lang/noir#10468)
fix: force_substitute bindings during monomorphization for associated
constants (noir-lang/noir#10467)
fix(brillig): Skip decrementing ref-count in array/vector copy and other
refactors (noir-lang/noir#10335)
fix(ssa): Cast to `u64` when inserting OOB checks in DIE
(noir-lang/noir#10463)
fix: disallow comptime-only types in non-comptime globals
(noir-lang/noir#10458)
chore(fuzzing): fix default artifact for brillig target
(noir-lang/noir#10465)
END_COMMIT_OVERRIDE
github-merge-queue bot pushed a commit to AztecProtocol/aztec-packages that referenced this pull request Nov 12, 2025
Automated pull of nightly from the
[noir](https://github.com/noir-lang/noir) programming language, a
dependency of Aztec.
BEGIN_COMMIT_OVERRIDE
fix(frontend)!: Preserve int type when quoting tokens
(noir-lang/noir#10330)
fix: check overflow for Pedersen grumpkin scalars
(noir-lang/noir#10462)
chore(frontend): Various tests in elaborator expressions submodule and
minor refactors (noir-lang/noir#10475)
chore: bump external pinned commits
(noir-lang/noir#10477)
fix: disallow keywords in attributes
(noir-lang/noir#10473)
chore: refactor codegen_control_flow
(noir-lang/noir#10320)
fix: builtin with body now errors instead of crashing
(noir-lang/noir#10474)
fix: handle ambiguous trait methods in assumed traits
(noir-lang/noir#10468)
fix: force_substitute bindings during monomorphization for associated
constants (noir-lang/noir#10467)
fix(brillig): Skip decrementing ref-count in array/vector copy and other
refactors (noir-lang/noir#10335)
fix(ssa): Cast to `u64` when inserting OOB checks in DIE
(noir-lang/noir#10463)
fix: disallow comptime-only types in non-comptime globals
(noir-lang/noir#10458)
chore(fuzzing): fix default artifact for brillig target
(noir-lang/noir#10465)
END_COMMIT_OVERRIDE
github-merge-queue bot pushed a commit to AztecProtocol/aztec-packages that referenced this pull request Nov 12, 2025
Automated pull of nightly from the
[noir](https://github.com/noir-lang/noir) programming language, a
dependency of Aztec.
BEGIN_COMMIT_OVERRIDE
fix(frontend)!: Preserve int type when quoting tokens
(noir-lang/noir#10330)
fix: check overflow for Pedersen grumpkin scalars
(noir-lang/noir#10462)
chore(frontend): Various tests in elaborator expressions submodule and
minor refactors (noir-lang/noir#10475)
chore: bump external pinned commits
(noir-lang/noir#10477)
fix: disallow keywords in attributes
(noir-lang/noir#10473)
chore: refactor codegen_control_flow
(noir-lang/noir#10320)
fix: builtin with body now errors instead of crashing
(noir-lang/noir#10474)
fix: handle ambiguous trait methods in assumed traits
(noir-lang/noir#10468)
fix: force_substitute bindings during monomorphization for associated
constants (noir-lang/noir#10467)
fix(brillig): Skip decrementing ref-count in array/vector copy and other
refactors (noir-lang/noir#10335)
fix(ssa): Cast to `u64` when inserting OOB checks in DIE
(noir-lang/noir#10463)
fix: disallow comptime-only types in non-comptime globals
(noir-lang/noir#10458)
chore(fuzzing): fix default artifact for brillig target
(noir-lang/noir#10465)
END_COMMIT_OVERRIDE
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Associated constants can be incorrectly shadowed

2 participants