generic parameters are not available in trait methods

[ghost]

Aim

trait Clone2 {
    fn clone(self) -> Self;
}

trait Getter<T> where T: Clone2 {
    fn get(self) -> T;
}

impl Getter<u64> for u64 {
    fn get(self) -> u64 { self }
}

Expected Behavior

ERROR `u64: Clone2` is not satisfied

Bug

error: Could not resolve 'T' in path
  ┌─ /hello/src/main.nr:6:21
  │
6 │     fn get(self) -> T;
  │                     -
  │

To Reproduce

Installation Method

Compiled from source

Nargo Version

No response

Additional Context

No response

Would you like to submit a PR for this Issue?

No

Support Needs

No response

[jfecher]

Duplicate of #3471