rust/tests/ui/associated-types/issue-72806.rs

22 lines
303 B
Rust

trait Bar {
type Ok;
type Sibling: Bar2<Ok=char>;
}
trait Bar2 {
type Ok;
}
struct Foo;
struct Foo2;
impl Bar for Foo {
type Ok = ();
type Sibling = Foo2;
//~^ ERROR type mismatch resolving `<Foo2 as Bar2>::Ok == char`
}
impl Bar2 for Foo2 {
type Ok = u32;
}
fn main() {}