fix the max number of inputs test.

[usagi32]

Motivation

I think this was missed at some point in leo when the max number of args for a function were changed in the snarkVM.

Test Plan

Nothing to test

[mohammadfawaz]

Great catch! Thank you. Would you be willing to improve this error a bit? The error that is currently emitted is from the parser of the produced Aleo code. In contrast, we can catch this problem much earlier, specifically in type checking. Specifically, in this function:

leo/compiler/passes/src/type_checking/visitor.rs

Line 1076 in b839c80

pub fn check_function_signature(&mut self, function: &Function, is_stub: bool) {

We would have to check that the number of inputs for any transition, async transition, function or async function is at most self.limits.max_inputs and also add a corresponding error in https://github.com/ProvableHQ/leo/blob/mainnet/errors/src/errors/type_checker/type_checker_error.rs