How does this relate to function pointers and closures? Will we be able to do something like x.map(Trait::method) like Java 8?

Could trait methods be given an extra type parameter corresponding to the type of the implementer when bound as a function?

e.g.

trait Foo {
    fn method<A: Bar>(&self, bob: &Self) -> Box<A>;
}

binds

pseudo-mod Foo {
    fn method<T: Foo, A: Bar>(alice: &T, bob: &T) -> Box<A>
}

Edit: to disambiguate between trait object member and trait method, I supposed one can call it with explicit type/lifetime parameters (<_>, vs <_,_> in this case). If trait object methods cannot be used in a higher order context that should work. But I wouldn't mind this and something different to unambiguously refer to the trait object type itself, the <_,...> trick isn't the most pleasant.

I think the most natural syntax for <T as ToStr>::to_str would be (impl ToStr for T)::to_str, but unfortunately it's longer.