---

yaml
---
r: 228984
b: refs/heads/try
c: 108a697
h: refs/heads/master
v: v3

Author: Gankra

[refs]

@@ -1,7 +1,7 @@
 ---
 refs/heads/master: aca2057ed5fb7af3f8905b2bc01f72fa001c35c8
 refs/heads/snap-stage3: 1af31d4974e33027a68126fa5a5a3c2c6491824f
-refs/heads/try: b26958caf745a05b4fa45b655ffeab18445cdb9b
+refs/heads/try: 108a697b1c225dafef16a77076e30149b1d0ebe7
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
 refs/tags/release-0.2: c870d2dffb391e14efb05aa27898f1f6333a9596
 refs/tags/release-0.3: b5f0d0f648d9a6153664837026ba1be43d3e2503

branches/try/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?