Track more information about the bit size of Variables during Acir Gen

[joss-aztec]

Problem

Following #1433, AcirContext's variables_to_bit_sizes will track bit sizes when casting. This doesn't capture all known bit sizes.

Happy Case

This tracking should be extended to cover all other cases where such information can be inferred - e.g. that comparison operators produce booleans.

Alternatives Considered

No response

Additional Context

No response

Would you like to submit a PR for this Issue?

No

Support Needs

No response

[joss-aztec]

Backlink: https://github.com/noir-lang/noir/pull/1433/files#r1209456031

[kevaundray]

Also see this comment: #1433 (comment)

It dives a bit into range constraint handling too, which we could branch off as a separate issue

[joss-aztec]

Closing, as bit size tracking has since been removed in favour of acir_gen/mod passing in such information at the point of use.