---

yaml
---
r: 22895
b: refs/heads/master
c: 300e2b8
h: refs/heads/master
i:
  22893: 90e083a
  22891: be72246
  22887: 6c41f23
  22879: a82b0d4
v: v3

Author: lkuper

[refs]

@@ -1,5 +1,5 @@
 ---
-refs/heads/master: d747cd724ed3cf19d3daf8a46f7726db888da844
+refs/heads/master: 300e2b851324bac92c8e0cd21735b5550be51435
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: cd6f24f9d14ac90d167386a56e7a6ac1f0318195
 refs/heads/try: ffbe0e0e00374358b789b0037bcb3a577cd218be

trunk/src/rustc/middle/typeck/check.rs

@@ -419,6 +419,21 @@ fn check_item(ccx: @crate_ctxt, it: @ast::item) {
                          node_id: it.id };
         for ms.each |m| { check_method(ccx, m, self_info);}
       }
+      ast::item_trait(_, trait_methods) {
+        for trait_methods.each |trait_method| {
+            alt trait_method {
+              required(ty_m) {
+                // Nothing to do, since required methods don't have
+                // bodies to check.
+              }
+              provided(m) {
+                let self_info = {self_ty: ty::mk_self(ccx.tcx),
+                                 node_id: it.id};
+                check_method(ccx, m, self_info);
+              }
+            }
+        }
+      }
       ast::item_class(tps, traits, members, m_ctor, m_dtor) {
         let tcx = ccx.tcx;
         let class_t = {self_ty: ty::node_id_to_type(tcx, it.id),