---

yaml
---
r: 20787
b: refs/heads/snap-stage3
c: 300e2b8
h: refs/heads/master
i:
  20785: d83c5c2
  20783: 235d1a7
v: v3

Author: lkuper

[refs]

@@ -1,7 +1,7 @@
 ---
 refs/heads/master: e430a699f2c60890d9b86069fd0c68a70ece7120
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
-refs/heads/snap-stage3: d747cd724ed3cf19d3daf8a46f7726db888da844
+refs/heads/snap-stage3: 300e2b851324bac92c8e0cd21735b5550be51435
 refs/heads/try: ffbe0e0e00374358b789b0037bcb3a577cd218be
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
 refs/heads/ndm: f3868061cd7988080c30d6d5bf352a5a5fe2460b

branches/snap-stage3/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),