Re:Announcing Rust 1.0 Alpha
by Gankro on Saturday January 10, 2015 @12:53AM
(#8866081)
Eh, with the new oprhan/impl rules associated and uh... not... associated(...?) types have developed quite a schism.
[ Parent
| on HN ]
Well, the first two confusingly change two variables at once: the things that are the same (which I presume is what kimundi meant) are
fn foo<S, T: MyTrait<S>>(elem: T) { ... }
fn foo<S, T>(elem: T) where T: MyTrait<S> { ... }
and fn foo<S, T: MyTrait<Thing = S>>(elem: T) { ... }
fn foo<S, T>(elem: T) where T: MyTrait<Thing = S> { ... }