trait Bar {} | |
trait Foo { | |
type Assoc: Bar; | |
} | |
impl Foo for () { | |
type Assoc = bool; //~ ERROR the trait bound `bool: Bar` is not satisfied | |
} | |
trait Baz where Self::Assoc: Bar { | |
type Assoc; | |
} | |
impl Baz for () { | |
type Assoc = bool; //~ ERROR the trait bound `bool: Bar` is not satisfied | |
} | |
trait Bat where <Self as Bat>::Assoc: Bar { | |
type Assoc; | |
} | |
impl Bat for () { | |
type Assoc = bool; //~ ERROR the trait bound `bool: Bar` is not satisfied | |
} | |
fn main() {} |