---

yaml
---
r: 36315
b: refs/heads/try2
c: 82017b8
h: refs/heads/master
i:
  36313: 1191e2b
  36311: b5fe0c9
v: v3

Author: catamorphism

[refs]

@@ -5,7 +5,7 @@ refs/heads/snap-stage3: eb8fd119c65c67f3b1b8268cc7341c22d39b7b61
 refs/heads/try: d324a424d8f84b1eb049b12cf34182bda91b0024
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
 refs/heads/ndm: f3868061cd7988080c30d6d5bf352a5a5fe2460b
-refs/heads/try2: f9ca0c89d8d91a71d14a980037f3d7e555667515
+refs/heads/try2: 82017b8416798b4ad46c1b7416611b353374051a
 refs/heads/incoming: d9317a174e434d4c99fc1a37fd7dc0d2f5328d37
 refs/heads/dist-snap: 22efa39382d41b084fde1719df7ae8ce5697d8c9
 refs/tags/release-0.2: c870d2dffb391e14efb05aa27898f1f6333a9596

branches/try2/src/librustc/middle/typeck/collect.rs

@@ -296,11 +296,27 @@ fn compare_impl_method(tcx: ty::ctxt,
     // implementable by an `&const self` method (the impl assumes less
     // than the trait provides).
     if impl_m.self_ty != trait_m.self_ty {
-        tcx.sess.span_err(
-            cm.span,
-            fmt!("method `%s`'s self type does \
-                  not match the trait method's \
-                  self type", tcx.sess.str_of(impl_m.ident)));
+        if impl_m.self_ty == ast::sty_static {
+            // Needs to be a fatal error because otherwise,
+            // method::transform_self_type_for_method ICEs
+            tcx.sess.span_fatal(cm.span,
+                 fmt!("method `%s` is declared as \
+                       static in its impl, but not in \
+                       its trait", tcx.sess.str_of(impl_m.ident)));
+        }
+        else if trait_m.self_ty == ast::sty_static {
+            tcx.sess.span_fatal(cm.span,
+                 fmt!("method `%s` is declared as \
+                       static in its trait, but not in \
+                       its impl", tcx.sess.str_of(impl_m.ident)));
+        }
+        else {
+            tcx.sess.span_err(
+                cm.span,
+                fmt!("method `%s`'s self type does \
+                      not match the trait method's \
+                      self type", tcx.sess.str_of(impl_m.ident)));
+        }
     }
 
     if impl_m.tps.len() != trait_m.tps.len() {
@@ -348,9 +364,6 @@ fn compare_impl_method(tcx: ty::ctxt,
                     pluralize(trait_param_bounds.len(), ~"bound")));
            return;
         }
-        // tjc: I'm mildly worried that there's something I'm
-        // not checking that require_same_types doesn't catch,
-        // but I can't figure out what.
     }
 
     // Replace any references to the self region in the self type with

branches/try2/src/test/compile-fail/issue-3969.rs

@@ -0,0 +1,15 @@
+struct Bike {
+    name: ~str,
+}
+
+trait BikeMethods {
+    fn woops(&const self) -> ~str;
+}
+
+pub impl Bike : BikeMethods {
+    static fn woops(&const self) -> ~str { ~"foo" }
+    //~^ ERROR method `woops` is declared as static in its impl, but not in its trait
+}
+
+pub fn main() {
+}

branches/try2/src/test/compile-fail/staticness-mismatch.rs

@@ -4,7 +4,7 @@ trait foo {
 }
 
 impl int: foo {
-    fn bar() {} //~ ERROR self type does not match the trait method's
+    fn bar() {} //~ ERROR method `bar` is declared as static in its trait, but not in its impl
 }
 
 fn main() {}