| error[E0284]: type annotations needed: cannot satisfy `<Bar as Foo>::T == ()` |
| --> $DIR/coherence-constrained.rs:14:5 |
| | |
| LL | async fn foo(&self) {} |
| | ^^^^^^^^^^^^^^^^^^^ cannot satisfy `<Bar as Foo>::T == ()` |
| |
| error[E0284]: type annotations needed: cannot satisfy `<Bar as Foo>::T == ()` |
| --> $DIR/coherence-constrained.rs:22:5 |
| | |
| LL | async fn foo(&self) {} |
| | ^^^^^^^^^^^^^^^^^^^ cannot satisfy `<Bar as Foo>::T == ()` |
| |
| error[E0119]: conflicting implementations of trait `Foo` for type `Bar` |
| --> $DIR/coherence-constrained.rs:18:1 |
| | |
| LL | impl Foo for Bar { |
| | ---------------- first implementation here |
| ... |
| LL | impl Foo for Bar { |
| | ^^^^^^^^^^^^^^^^ conflicting implementation for `Bar` |
| |
| error: aborting due to 3 previous errors |
| |
| Some errors have detailed explanations: E0119, E0284. |
| For more information about an error, try `rustc --explain E0119`. |