noir-lang / noir

Noir is a domain specific language for zero knowledge proofs
https://noir-lang.org
Apache License 2.0
821 stars 177 forks source link

fix: Replace panic in monomorphization with an error #5305

Closed jfecher closed 1 week ago

jfecher commented 1 week ago

Description

Problem*

Summary*

Replaces an unwrap and panic in the monomorphizer with an ICE issued to the user instead. This isn't expected to be issued normally, but is being issued currently when a comptime let variable is used in runtime code since comptime let is still unimplemented in the evaluator.

Additional Context

This does not fix the underlying comptime let error, only the resulting panic.

Documentation*

Check one:

PR Checklist*