On 2014-06-13, at 13:14, Tommi <[email protected]> wrote:

> pub trait Mul<RHS, Result> {
>     fn mul(stable self, rhs: &RHS) -> Result;
> }
> 
> Note: any other syntax for marking `self` as `stable` would be illegal.

Although, I could see this kind of syntax being allowed as well:

pub trait Mul<RHS, Result> {
    fn mul(stable lhs: Self, rhs: &RHS) -> Result;
}

..and allowing similar syntax for an implementation like:

impl<T: Clone, RHS, Result> Mul<RHS, Result> for T {
    fn mul(stable lhs: T, rhs: &RHS) -> Result { ... }
}

_______________________________________________
Rust-dev mailing list
[email protected]
https://mail.mozilla.org/listinfo/rust-dev

Reply via email to