noir icon indicating copy to clipboard operation
noir copied to clipboard

Published 20 hours ago • verified publisher icon noir-lang

chore: fix unmutable environment

Open michaeljklein opened this issue 9 months ago • 1 comments

Description

Problem*

Resolves https://github.com/noir-lang/noir/issues/4795

Summary*

This PR simply adds a check on mutable captures: when not &mut, a type checking error is thrown.

Additional Context

Documentation*

Check one:

  • [x] No documentation needed.
  • [ ] Documentation included in this PR.
  • [ ] [For Experimental Features] Documentation to be submitted in a separate PR.

PR Checklist*

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

michaeljklein avatar May 10 '24 19:05 michaeljklein