<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">On 2014-06-13, at 13:14, Tommi <<a href="mailto:rusty.gates@icloud.com">rusty.gates@icloud.com</a>> wrote:<br><div><br class="Apple-interchange-newline"><blockquote type="cite"><div style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;"><div><font face="Source Code Pro">pub trait Mul<RHS, Result> {</font></div><div><font face="Source Code Pro">    fn mul(stable self, rhs: &RHS) -> Result;</font></div><div><font face="Source Code Pro">}</font></div></div><div style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;"><font face="Source Code Pro"><br></font></div><div style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;">Note: any other syntax for marking `self` as `stable` would be illegal.</div></blockquote></div><br><div>Although, I could see this kind of syntax being allowed as well:</div><div><br></div><div><font face="Source Code Pro">pub trait Mul<RHS, Result> {</font></div><div><font face="Source Code Pro">    fn mul(stable lhs: Self, rhs: &RHS) -> Result;</font></div><div><font face="Source Code Pro">}</font></div><div><br></div><div>..and allowing similar syntax for an implementation like:</div><div><br></div><div><div><font face="Source Code Pro">impl<T: Clone, RHS, Result> Mul<RHS, Result> for T {</font></div><div><font face="Source Code Pro">    fn mul(stable lhs: T, rhs: &RHS) -> Result { ... }</font></div><div><font face="Source Code Pro">}</font></div></div><div><font face="Source Code Pro"><br></font></div></body></html>