Open
Description
The following setup
trait OneTrait {
type Ty: AnotherTrait;
fn project() -> Self::Ty::Out;
}
trait AnotherTrait {
type Out;
}produces the error
rustc 1.13.0 (2c6933acc 2016-11-07)
error[E0223]: ambiguous associated type
--> <anon>:3:17
|
3 | fn bar() -> Self::Bar::Out;
| ^^^^^^^^^^^^^^ ambiguous associated type
|
= note: specify the type using the syntax `<<Self as Foo>::Bar as Trait>::Out`
It would be great for the less explicit projection to work here.