Skip to content

fix: allow calling private impl method defined on another module from…#9449

Merged
TomAFrench merged 1 commit intomasterfrom
ab/private-impl-method-different-module
Aug 11, 2025
Merged

fix: allow calling private impl method defined on another module from…#9449
TomAFrench merged 1 commit intomasterfrom
ab/private-impl-method-different-module

Conversation

@asterite
Copy link
Copy Markdown
Collaborator

@asterite asterite commented Aug 8, 2025

… same impl

Description

Problem

Resolves #9447

Summary

I made the behavior the same as in Rust (as far as I can tell). At least private methods on impls with different generic types can be called between the different impls.

Additional Context

Documentation

Check one:

  • No documentation needed.
  • Documentation included in this PR.
  • [For Experimental Features] Documentation 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
Copy Markdown
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: 934f62c Previous: a24cfcc Ratio
test_report_zkpassport_noir_rsa_ 2 s 1 s 2

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

CC: @TomAFrench

@asterite asterite requested a review from a team August 8, 2025 17:51
Copy link
Copy Markdown
Member

@TomAFrench TomAFrench left a comment

Choose a reason for hiding this comment

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

LGTM

@TomAFrench TomAFrench added this pull request to the merge queue Aug 11, 2025
Merged via the queue into master with commit 501988e Aug 11, 2025
122 checks passed
@TomAFrench TomAFrench deleted the ab/private-impl-method-different-module branch August 11, 2025 13:15
github-merge-queue bot pushed a commit to AztecProtocol/aztec-packages that referenced this pull request Aug 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(LSP): don't crash on broken function definition
(noir-lang/noir#9441)
feat(opt): Don't clone on array_len
(noir-lang/noir#9440)
feat(ssa_fuzzer): mode without instruction simplification + array
instructions mutations + limits fix
(noir-lang/noir#9438)
feat(fuzz): Push and pop for slices
(noir-lang/noir#9262)
fix(brillig_vm): Remove slice padding for foreign call inputs
(noir-lang/noir#9321)
fix: allow calling private impl method defined on another module from…
(noir-lang/noir#9449)
fix: guard `Eq` for `[T]` to avoid OOB on length mismatch
(noir-lang/noir#9453)
chore: bump external pinned commits
(noir-lang/noir#9454)
END_COMMIT_OVERRIDE

Co-authored-by: AztecBot <tech@aztecprotocol.com>
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.

Private impl method incorrectly errors when impl is defined in a separate module

2 participants