noir-lang / noir

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

feat: detect unconstructed structs #6061

Closed asterite closed 1 month ago

asterite commented 2 months ago

Description

Problem

Fixes #6055

Summary

This is similar to how it works in Rust.

Additional Context

Documentation

Check one:

PR Checklist

github-actions[bot] commented 2 months ago

Changes to Brillig bytecode sizes

Generated at commit: 3b4c4ab0970ababb4a9473cd1091c0bb8182c239, compared to commit: e8bbce71fde3fc7af410c30920c2a547389d8248

There are no changes in circuit sizes