---

yaml
---
r: 27694
b: refs/heads/try
c: d913492
h: refs/heads/master
v: v3

Author: bblum

[refs]

@@ -2,7 +2,7 @@
 refs/heads/master: cd6f24f9d14ac90d167386a56e7a6ac1f0318195
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: cd6f24f9d14ac90d167386a56e7a6ac1f0318195
-refs/heads/try: f0775d7bfe99617892e90e956be65cc80a28e070
+refs/heads/try: d9134928552bd863295e5110e4fe1f53a6c81405
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
 refs/heads/ndm: f3868061cd7988080c30d6d5bf352a5a5fe2460b
 refs/heads/try2: d0c6ce338884ee21843f4b40bf6bf18d222ce5df

branches/try/src/rustc/middle/typeck/coherence.rs

@@ -279,7 +279,7 @@ class CoherenceChecker {
                     session.span_err(item.span,
                                      ~"no base type found for inherent \
                                        implementation; implement a \
-                                       trait instead");
+                                       trait or new type instead");
                 }
                 some(_) => {
                     // Nothing to do.
@@ -490,6 +490,7 @@ class CoherenceChecker {
                                                           was defined in; \
                                                           define and \
                                                           implement a trait \
+                                                          or new type \
                                                           instead");
                                     }
 

branches/try/src/test/compile-fail/trait-or-new-type-instead.rs

@@ -0,0 +1,6 @@
+// error-pattern: implement a trait or new type instead
+impl <T> option<T> {
+    fn foo() { }
+}
+
+fn main() { }