Aim

Given a simple trait with an associated type:

trait Foo {
    type Bar;
}

I attempted to require Foo in a where clause in three ways:

// using "where (): Foo" fails with the same error,
// even if the following impl is present:
// impl Foo for () {
//     type Bar = ();
// }
impl<T> Foo for Option<T> where T: Foo {
    type Bar = T;
}

trait Baz { }

impl<T> Baz for Option<T> where T: Foo { }

fn foo<T>(x: T) where T: Foo { }

Expected Behavior

Expected the above cases to compile successfully

Bug

Each fails with 'Foo' is missing the associated type 'Bar':

error: `Foo` is missing the associated type `Bar`
  ┌─ src/main.nr:5:36
  │
5 │ impl<T> Foo for Option<T> where T: Foo {
  │                                    ---
  │

error: `Foo` is missing the associated type `Bar`
  ┌─ src/main.nr:7:36
  │
7 │ impl<T> Baz for Option<T> where T: Foo { }
  │                                    ---
  │

error: `Foo` is missing the associated type `Bar`
  ┌─ src/main.nr:5:27
  │
5 │ fn foo<T>(x: T) where (): Foo { }
  │                           ---
  │

To Reproduce

Workaround

None

Workaround Description

No response

Additional Context

No response

Project Impact

None

Blocker Context

No response

Nargo Version

nargo version = 0.39.0 noirc version = 0.39.0+68c32b4ffd9b069fe4b119327dbf4018c17ab9d4 (git version hash: 68c32b4, is dirty: false)

NoirJS Version

No response

Proving Backend Tooling & Version

No response

Would you like to submit a PR for this Issue?

None

Support Needs

No response