Consider having the frontend disallow as u{FieldElement::max_num_bits()} conversions

[kevaundray]

Problem

As noted in this comment here we can push the FieldElement check to the frontend.

Its not necessary, but keeping this as tracking issue.

Happy Case

.

Alternatives Considered

No response

Additional Context

No response

Would you like to submit a PR for this Issue?

No

Support Needs

No response

[kevaundray]

This should also be solved with #1433 (comment)

[kevaundray]

@guipublic can you check the status of this issue?

[guipublic]

The check is still not on the frontend side

[guipublic]

I checked again and now bit size >= FieldElement::max_num_bits() are matched in the frontend (in the Lexer). I am closing the issue then.