fix(ssa): codegen missing check for unary minus

[alexvitkov]

Description

Problem*

Resolves #2412

Summary*

For normal binary expression we call FunctionContext::insert_binary which inserts a binary instruction and checks if truncation is needed.

However, for unary minus we directly call into the FunctionBuilder which skips this check -- this PR replaces that function call with a call to FunctionContext::insert_binary.

The location argument in FunctionContext::insert_binary is also made optional since ast::Unary doesn't have a location and it would be a bit of a pain to add it, because in mono we sometimes generate unary expressions on the fly.

Documentation

• This PR requires documentation updates when merged.

  • I will submit a noir-lang/docs PR.
  • I will request for and support Dev Rel's help in documenting this PR.

Additional Context

PR Checklist*

• I have tested the changes locally.
• I have formatted the changes with Prettier and/or cargo fmt on default settings.

[jfecher]

It looks like the only place we generae Unary expressions outside of monomorphizing Prefix expressions is when evaluating zeroed_value_of_type. Can you add a span to that call instead so we don't have to have an optional span here?

[alexvitkov]

I've added location to ast::Unary. We also generate implicit references/dereferences during type-checking, which also needed locations in the node_interner, or else we'd crash when trying to access the location when creating the corresponding ast::Unary

1b47c85

[jfecher]

Thank you!