Generate Brillig code to handle normal calls to other brillig functions and constrained functions

[kevaundray]

Problem

Generate Brillig for the following code:

fn constrained_identity_func(y : u32) -> u32 {
  y
}

unconstrained fn inner(x : u32, y : u32) -> u32 {
 x + y
}

// Calls a constrained function and then calls an unconstrained function
unconstrained fn outer(x : u32, y : u32) -> u32 {
   let z = constrained_identity_func(y); 
   inner(x, z)
}

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]

Internally in slack it was mentioned that we want to split this issue into sub issues:

• unconstrained calling unconstrained
• constrained calling unconstrained (This is already tested)
• unconstrained calling constrained

@guipublic assigning unconstrained calling unconstrained task to you

[kevaundray]

@sirasistant what is the status of this issue?

[sirasistant]

Resolved by #1919