"Return value contains a constant value" spammed many times

[jfecher]

Aim

global COUNT = 400;

fn main() -> pub BoundedVec<[Field; 1], COUNT> {
    let mut result = BoundedVec::new();
    let mut x = 0;

    for _ in 0..COUNT {
        if x < 1 {
            result.push([0]);
        }
    }

    result
}

Expected Behavior

A "return value contains constant value warning"

Bug

Many repeated warnings are issued, presumably one for each element of the returned array.

To Reproduce

Project Impact

None

Impact Context

No response

Workaround

None

Workaround Description

No response

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

[TomAFrench]

Agreed we should deduplicate these for each Noir program. This issue also applies to other instances such as verify_proof, etc.

[TomAFrench]

#4365