---

yaml
---
r: 22645
b: refs/heads/master
c: 1615afe
h: refs/heads/master
i:
  22643: 28cc660
v: v3

Author: catamorphism

[refs]

@@ -1,5 +1,5 @@
 ---
-refs/heads/master: 3dc52da989dfa69a6d1abf908610e52c472f871f
+refs/heads/master: 1615afe7046d7fe9ba3f390a462aecdd96d374cb
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: cd6f24f9d14ac90d167386a56e7a6ac1f0318195
 refs/heads/try: ffbe0e0e00374358b789b0037bcb3a577cd218be

trunk/doc/tutorial.md

@@ -2518,19 +2518,17 @@ interface describes types that support an equality operation:
 
 ~~~~
 iface eq {
-  fn equals(other: self) -> bool;
+  fn equals(&&other: self) -> bool;
 }
-~~~~
-
-In an implementation for type `int`, the `equals` method takes an
-`int` argument:
 
-~~~~
 impl of eq for int {
-  fn equals(other: int) { other == self }
+  fn equals(&&other: int) -> bool { other == self }
 }
 ~~~~
 
+Notice that `equals` takes an `int` argument, rather than a `self` argument, in
+an implementation for type `int`.
+
 ## Casting to an interface type
 
 The above allows us to define functions that polymorphically act on