Compiler checking if the current function is constrained

[sirasistant]

Aim

Compiling in aztec packages with current noir master.

Expected Behavior

Should compile!

Bug

Panics with

The application panicked (crashed).
Message:  Can only have call expression inside of a function body
Location: compiler/noirc_frontend/src/hir/type_check/expr.rs:158

Patterns like this one might be the culprit:

global HEADER = Header {
    last_archive: empty_append_only_tree(),
    body_hash: [0; NUM_FIELDS_PER_SHA256],
    state: StateReference {
        l1_to_l2_message_tree: empty_append_only_tree(),
        partial: PartialStateReference {
            note_hash_tree: AppendOnlyTreeSnapshot {
                root: fixtures::note_hash_tree::ROOT,
                next_available_leaf_index: 0, // TODO: should this be populated?
            },
            nullifier_tree: empty_append_only_tree(),
            contract_tree: AppendOnlyTreeSnapshot {
                root: fixtures::contract_tree::ROOT,
                next_available_leaf_index: 0, // TODO: should this be populated?
            },
            public_data_tree: empty_append_only_tree()
        }
    },
    global_variables: GlobalVariables {
        chain_id: 0,
        version: 0,
        block_number: 0,
        timestamp: 0,
        coinbase: empty_eth_address(),
        fee_recipient: empty_aztec_address(),
    }
};

To Reproduce

Project Impact

None

Impact Context

No response

Workaround

Yes

Workaround Description

    let is_current_func_constrained = self
                    .current_function
                    .map(|func| {
                        let func_mod = self.interner.function_modifiers(&func);
                        !func_mod.is_unconstrained
                    })
                    .unwrap_or(true); // If there is no current function, then we assume it is constrained

Additional Context

No response

Installation Method

None

Nargo Version

No response

NoirJS Version

No response

Would you like to submit a PR for this Issue?

None

Support Needs

No response