---

yaml
---
r: 232655
b: refs/heads/try
c: 962b61f
h: refs/heads/master
i:
  232653: 6a4c23e
  232651: 71da5b4
  232647: bda57d8
  232639: 935e43a
v: v3

Author: GuillaumeGomez

[refs]

@@ -1,7 +1,7 @@
 ---
 refs/heads/master: edeb4f1c86cbf6af8ef9874d4b3af50f721ea1b8
 refs/heads/snap-stage3: 1af31d4974e33027a68126fa5a5a3c2c6491824f
-refs/heads/try: 633fe4463940e6d6523ceb9c6267983170761d7e
+refs/heads/try: 962b61f4f5d70a2063088ab318f80c2e5155a27d
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
 refs/tags/release-0.2: c870d2dffb391e14efb05aa27898f1f6333a9596
 refs/tags/release-0.3: b5f0d0f648d9a6153664837026ba1be43d3e2503

branches/try/src/librustc_typeck/diagnostics.rs

@@ -2791,11 +2791,21 @@ impl *mut Foo {}
 //        `#[lang = "mut_ptr"]` is allowed for the `*mut T` primitive
 ```
 
-This isn't allowed, perhaps you might get the desired effects by wrapping the
-raw pointer in a struct. Example:
+This isn't allowed, but using a trait to implement a method is a good solution.
+Example:
 
 ```
-struct FooPtr(pub *mut Foo);
+struct Foo {
+    x: i32
+}
+
+trait Bar {
+    fn bar();
+}
+
+impl Bar for *mut Foo {
+    fn bar() {} // ok!
+}
 ```
 "##,