---

yaml
---
r: 39411
b: refs/heads/incoming
c: ebd9ad4
h: refs/heads/master
i:
  39409: 42ae34a
  39407: b520c21
v: v3

Author: pcwalton

[refs]

@@ -6,7 +6,7 @@ refs/heads/try: 3d5418789064fdb463e872a4e651af1c628a3650
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
 refs/heads/ndm: f3868061cd7988080c30d6d5bf352a5a5fe2460b
 refs/heads/try2: a810c03263670238bccd64cabb12a23a46e3a278
-refs/heads/incoming: 41c0d7083e19b0940fafb8b452ac24d5403f532b
+refs/heads/incoming: ebd9ad4d0446ac76bdbb0ada21e943ad0cbeef60
 refs/heads/dist-snap: 22efa39382d41b084fde1719df7ae8ce5697d8c9
 refs/tags/release-0.2: c870d2dffb391e14efb05aa27898f1f6333a9596
 refs/tags/release-0.3: b5f0d0f648d9a6153664837026ba1be43d3e2503

branches/incoming/src/librustc/middle/lint.rs

@@ -66,6 +66,7 @@ enum lint {
     structural_records,
     type_limits,
     default_methods,
+    deprecated_self,
 
     managed_heap_memory,
     owned_heap_memory,
@@ -208,6 +209,11 @@ fn get_lint_dict() -> lint_dict {
            desc: ~"allow default methods",
            default: forbid}),
 
+        (~"deprecated_self",
+         @{lint: deprecated_self,
+           desc: ~"warn about deprecated uses of `self`",
+           default: allow}),
+
         /* FIXME(#3266)--make liveness warnings lintable
         (~"unused_variable",
          @{lint: unused_variable,
@@ -421,6 +427,7 @@ fn check_item(i: @ast::item, cx: ty::ctxt) {
     check_item_deprecated_modes(cx, i);
     check_item_type_limits(cx, i);
     check_item_default_methods(cx, i);
+    check_item_deprecated_self(cx, i);
 }
 
 // Take a visitor, and modify it so that it will not proceed past subitems.
@@ -591,6 +598,41 @@ fn check_item_default_methods(cx: ty::ctxt, item: @ast::item) {
     }
 }
 
+fn check_item_deprecated_self(cx: ty::ctxt, item: @ast::item) {
+    fn maybe_warn(cx: ty::ctxt,
+                  item: @ast::item,
+                  self_ty: ast::self_ty) {
+        cx.sess.span_lint(
+            deprecated_self,
+            item.id,
+            item.id,
+            self_ty.span,
+            ~"this method form is deprecated; use an explicit `self` \
+              parameter or mark the method as static");
+    }
+
+    match item.node {
+        ast::item_trait(_, _, methods) => {
+            for methods.each |method| {
+                match *method {
+                    ast::required(ty_method) => {
+                        maybe_warn(cx, item, ty_method.self_ty);
+                    }
+                    ast::provided(method) => {
+                        maybe_warn(cx, item, method.self_ty);
+                    }
+                }
+            }
+        }
+        ast::item_impl(_, _, _, methods) => {
+            for methods.each |method| {
+                maybe_warn(cx, item, method.self_ty);
+            }
+        }
+        _ => {}
+    }
+}
+
 fn check_item_structural_records(cx: ty::ctxt, it: @ast::item) {
     let visit = item_stopping_visitor(visit::mk_simple_visitor(@{
         visit_expr: fn@(e: @ast::expr) {

branches/incoming/src/test/compile-fail/lint-deprecated-self.rs

@@ -0,0 +1,20 @@
+#[forbid(deprecated_self)]
+mod a {
+    trait T {
+        fn f(); //~ ERROR this method form is deprecated
+    }
+
+    struct S {
+        x: int
+    }
+
+    impl S : T {
+        fn f() {    //~ ERROR this method form is deprecated
+        }
+    }
+}
+
+fn main() {
+}
+
+