Skip to content

chore: Document type coercions#9292

Merged
jfecher merged 1 commit intomasterfrom
jf/doc-coercions
Jul 23, 2025
Merged

chore: Document type coercions#9292
jfecher merged 1 commit intomasterfrom
jf/doc-coercions

Conversation

@jfecher
Copy link
Contributor

@jfecher jfecher commented Jul 23, 2025

Description

Problem*

Resolves #9036

Summary*

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.

@jfecher jfecher requested a review from a team July 23, 2025 14:07
@github-actions github-actions bot added the documentation Improvements or additions to documentation label Jul 23, 2025
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: 22ba66f Previous: d2a51b6 Ratio
test_report_AztecProtocol_aztec-packages_noir-projects_aztec-nr 5 s 4 s 1.25
test_report_AztecProtocol_aztec-packages_noir-projects_noir-protocol-circuits_crates_types 2 s 1 s 2

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

CC: @TomAFrench

@github-actions
Copy link
Contributor

@github-actions
Copy link
Contributor

FYI @noir-lang/developerrelations on Noir doc changes.

@jfecher jfecher enabled auto-merge July 23, 2025 14:35
@jfecher jfecher added this pull request to the merge queue Jul 23, 2025
Merged via the queue into master with commit b28776c Jul 23, 2025
101 checks passed
@jfecher jfecher deleted the jf/doc-coercions branch July 23, 2025 15:00
| ------------- | --------------------------- |
| `[T; N]` | `[T]` |
| `fn(..) -> R` | `unconstrained fn(..) -> R` |
| `str<N>` | `CtString` |
Copy link
Collaborator

Choose a reason for hiding this comment

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

I think fmtstr will also be coerced to CtString. I added this because, like str, it also implements AsCtString but to be honest I'm not sure it's that useful to have so we could either remove it from the compiler or document it here.

@jfecher jfecher mentioned this pull request Jul 23, 2025
5 tasks
github-merge-queue bot pushed a commit to AztecProtocol/aztec-packages that referenced this pull request Jul 30, 2025
Syncs Noir up to commit `b28776c8a68dbc319e2ffcee350b8e2a71b20096` and
includes this commits:

chore: Document type coercions
(noir-lang/noir#9292)
feat: add better handling for follow-on optimizations in `simplify_cfg`
(noir-lang/noir#9276)
chore: Update noir-lang/sparse_array failures status
(noir-lang/noir#9289)
chore: Mark `sparse_array` and `noir_json_parser` as non-critical
(noir-lang/noir#9282)
fix: Use `u32` in `RepeatedValue` example in generics docs
(noir-lang/noir#9273)
chore!: enforce visibility warnings as errors
(noir-lang/noir#7657)

At commit `60222bb380da2c6840adb91317bee2ca4db30d2a` the Noir sync
beyond `b28776c8a68dbc319e2ffcee350b8e2a71b20096`

---------

Co-authored-by: AztecBot <tech@aztecprotocol.com>
Co-authored-by: Tom French <15848336+TomAFrench@users.noreply.github.com>
Co-authored-by: Jan Beneš <janbenes1234@gmail.com>
github-merge-queue bot pushed a commit to AztecProtocol/aztec-packages that referenced this pull request Jul 30, 2025
Syncs Noir up to commit `b28776c8a68dbc319e2ffcee350b8e2a71b20096` and
includes this commits:

chore: Document type coercions
(noir-lang/noir#9292)
feat: add better handling for follow-on optimizations in `simplify_cfg`
(noir-lang/noir#9276)
chore: Update noir-lang/sparse_array failures status
(noir-lang/noir#9289)
chore: Mark `sparse_array` and `noir_json_parser` as non-critical
(noir-lang/noir#9282)
fix: Use `u32` in `RepeatedValue` example in generics docs
(noir-lang/noir#9273)
chore!: enforce visibility warnings as errors
(noir-lang/noir#7657)

Commit `60222bb380da2c6840adb91317bee2ca4db30d2a` causes failing tests
so could not sync Noir beyond `b28776c8a68dbc319e2ffcee350b8e2a71b20096`
(relevant slack discussion
[here](https://aztecprotocol.slack.com/archives/C0183F0V42V/p1753811323086949)).

---------

Co-authored-by: AztecBot <tech@aztecprotocol.com>
Co-authored-by: Tom French <15848336+TomAFrench@users.noreply.github.com>
Co-authored-by: Jan Beneš <janbenes1234@gmail.com>
github-merge-queue bot pushed a commit to AztecProtocol/aztec-packages that referenced this pull request Jul 30, 2025
Syncs Noir up to commit `b28776c8a68dbc319e2ffcee350b8e2a71b20096` and
includes this commits:

chore: Document type coercions
(noir-lang/noir#9292)
feat: add better handling for follow-on optimizations in `simplify_cfg`
(noir-lang/noir#9276)
chore: Update noir-lang/sparse_array failures status
(noir-lang/noir#9289)
chore: Mark `sparse_array` and `noir_json_parser` as non-critical
(noir-lang/noir#9282)
fix: Use `u32` in `RepeatedValue` example in generics docs
(noir-lang/noir#9273)
chore!: enforce visibility warnings as errors
(noir-lang/noir#7657)

Commit `60222bb380da2c6840adb91317bee2ca4db30d2a` causes failing tests
so could not sync Noir beyond `b28776c8a68dbc319e2ffcee350b8e2a71b20096`
(relevant slack discussion
[here](https://aztecprotocol.slack.com/archives/C0183F0V42V/p1753811323086949)).

---------

Co-authored-by: AztecBot <tech@aztecprotocol.com>
Co-authored-by: Tom French <15848336+TomAFrench@users.noreply.github.com>
Co-authored-by: Jan Beneš <janbenes1234@gmail.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Document type coercions

3 participants