This PR addresses an issue where if a call is made to std::as_witness from a brillig runtime then the compiler will panic with the unreachable error directly below where the new match arm is added.
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.
Description
Problem*
Resolves
Summary*
This PR addresses an issue where if a call is made to
std::as_witness
from a brillig runtime then the compiler will panic with the unreachable error directly below where the new match arm is added.Additional Context
Documentation*
Check one:
PR Checklist*
cargo fmt
on default settings.