Handle compilation of various inline types

[vezenovm]

Problem

In order to support attributes like #[inline(never)] the frontend needs its own InlineType similar to what we have in SSA. Currently we just check whether we have a #[fold] attribute and then that flag determines how we set the InlineType in SSA.

Happy Case

We should be able to compile multiple ACIR functions for a program like such:

fn main(x: Field, y: pub Field) {
    basic_check(x, y);
}

#[inline(never)]
fn basic_check(x: Field, y: Field) {
    assert(x != y);
}

Project Impact

Blocker

Impact Context

No response

Workaround

None

Workaround Description

No response

Additional Context

No response

Would you like to submit a PR for this Issue?

None

Support Needs

No response