---

yaml
---
r: 222714
b: refs/heads/tmp
c: 108a697
h: refs/heads/master
v: v3

Author: Gankra

[refs]

@@ -25,7 +25,7 @@ refs/tags/0.11.0: e1247cb1d0d681be034adb4b558b5a0c0d5720f9
 refs/tags/0.12.0: f0c419429ef30723ceaf6b42f9b5a2aeb5d2e2d1
 refs/heads/beta: 2b45108ecb944d63daba0f1b5529ac4c8afdc295
 refs/tags/1.0.0-alpha: e42bd6d93a1d3433c486200587f8f9e12590a4d7
-refs/heads/tmp: b26958caf745a05b4fa45b655ffeab18445cdb9b
+refs/heads/tmp: 108a697b1c225dafef16a77076e30149b1d0ebe7
 refs/tags/1.0.0-alpha.2: 4c705f6bc559886632d3871b04f58aab093bfa2f
 refs/tags/homu-tmp: e58601ab085591c71a27ae82137fc313222c2270
 refs/tags/1.0.0-beta: 8cbb92b53468ee2b0c2d3eeb8567005953d40828

branches/tmp/conversions.md

@@ -53,7 +53,7 @@ Coercion is allowed between the following types:
     * `&mut T` to `*mut T`
 * Unsizing: `T` to `U` if `T` implements `CoerceUnsized<U>`
 
-`CoerceUnsized<Pointer<U>> for Pointer<T>` where T: Unsize<U> is implemented
+`CoerceUnsized<Pointer<U>> for Pointer<T> where T: Unsize<U>` is implemented
 for all pointer types (including smart pointers like Box and Rc). Unsize is
 only implemented automatically, and enables the following transformations:
 
@@ -65,7 +65,6 @@ only implemented automatically, and enables the following transformations:
     * `Foo` is a struct
     * Only the last field has type `T`
     * `T` is not part of the type of any other fields
-  (note that this also applies to to tuples as an anonymous struct `Tuple3<T, U, V>`)
 
 Coercions occur at a *coercion site*. Any location that is explicitly typed
 will cause a coercion to its type. If inference is necessary, the coercion will
@@ -106,13 +105,19 @@ fn main() {
               ^~~
 ```
 
+
+
+
 # The Dot Operator
 
 The dot operator will perform a lot of magic to convert types. It will perform
 auto-referencing, auto-dereferencing, and coercion until types match.
 
 TODO: steal information from http://stackoverflow.com/questions/28519997/what-are-rusts-exact-auto-dereferencing-rules/28552082#28552082
 
+
+
+
 # Casts
 
 Casts are a superset of coercions: every coercion can be explicitly invoked via a
@@ -171,6 +176,8 @@ For numeric casts, there are quite a few cases to consider:
 
 
 
+
+
 # Conversion Traits
 
 TODO?