---

yaml
---
r: 22634
b: refs/heads/master
c: 0f34144
h: refs/heads/master
v: v3

Author: catamorphism

[refs]

@@ -1,5 +1,5 @@
 ---
-refs/heads/master: 4843339d21f0c60b54d2a8f796243de90b1041b8
+refs/heads/master: 0f34144be308d28260d2496104ad06c2cb9cf5c3
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: cd6f24f9d14ac90d167386a56e7a6ac1f0318195
 refs/heads/try: ffbe0e0e00374358b789b0037bcb3a577cd218be

trunk/doc/tutorial.md

@@ -2504,6 +2504,22 @@ needed because it could also, for example, specify an implementation
 of `seq<int>`—the `of` clause *refers* to a type, rather than defining
 one.
 
+Note that functions do not explicitly have the type parameters that 
+are provided by the iface. It will cause a compile-time error if you
+include them in the iface or impl.
+
+## Use of the type `self` in interfaces
+
+Interfaces may use `self` as a type where the implementation uses its
+own type. This defines an interface for testing equality of a type with
+itself:
+
+~~~~
+iface eq {
+  fn equals(other: self) -> bool;
+}
+~~~~
+
 ## Casting to an interface type
 
 The above allows us to define functions that polymorphically act on