Expression type is ambigious when using trait generics that instantiate variables

[vezenovm]

Aim

After the addition of the turbofish operator (#3542) we should be able to use trait generics without them being bound to a parameter or return value.

I want to be able to use a trait generic to instantiate an object using its trait methods and then further use those trait methods. For example the following code should work (after #5041):

fn hash_simple_array<H>(input: [Field; 2]) -> Field where H: Hasher + Default {
    let mut hasher = H::default();
    hasher.write(input[0]);
    hasher.write(input[1]);
    hasher.finish()
}

Expected Behavior

The program above should pass.

Bug

Instead when attempting to use the result of H::default() we get an error Expression type is ambiguous.

To Reproduce

1. Compile the snippet above

Project Impact

Blocker

Impact Context

This blocks us being able to document and advertise turbofish

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