---

yaml
---
r: 31590
b: refs/heads/dist-snap
c: 65e0e30
h: refs/heads/master
v: v3

Author: lkuper

[refs]

@@ -7,6 +7,6 @@ refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
 refs/heads/ndm: f3868061cd7988080c30d6d5bf352a5a5fe2460b
 refs/heads/try2: d0c6ce338884ee21843f4b40bf6bf18d222ce5df
 refs/heads/incoming: d9317a174e434d4c99fc1a37fd7dc0d2f5328d37
-refs/heads/dist-snap: 2fe299d1a53355c9bb78b9067bd2d18bd4eb94e7
+refs/heads/dist-snap: 65e0e30e59351aed899adbb20cbd07ae98f213d3
 refs/tags/release-0.2: c870d2dffb391e14efb05aa27898f1f6333a9596
 refs/tags/release-0.3: b5f0d0f648d9a6153664837026ba1be43d3e2503

branches/dist-snap/src/libsyntax/ast_util.rs

@@ -329,6 +329,18 @@ fn trait_method_to_ty_method(method: trait_method) -> ty_method {
     }
 }
 
+fn split_trait_methods(trait_methods: ~[trait_method])
+    -> (~[ty_method], ~[@method]) {
+    let mut reqd = ~[], provd = ~[];
+    for trait_methods.each |trt_method| {
+        alt trt_method {
+          required(tm) { vec::push(reqd, tm); }
+          provided(m) { vec::push(provd, m); }
+        }
+    };
+    (reqd, provd)
+}
+
 pure fn class_member_visibility(ci: @class_member) -> visibility {
   alt ci.node {
      instance_var(_, _, _, _, vis) { vis }

branches/dist-snap/src/rustc/middle/typeck.rs

@@ -43,7 +43,8 @@ import syntax::{ast, ast_util, ast_map};
 import ast::spanned;
 import ast::{required, provided};
 import syntax::ast_map::node_id_to_str;
-import syntax::ast_util::{local_def, respan, split_class_items};
+import syntax::ast_util::{local_def, respan, split_class_items,
+                          split_trait_methods};
 import syntax::visit;
 import metadata::csearch;
 import driver::session::session;

branches/dist-snap/src/rustc/middle/typeck/collect.rs

@@ -339,12 +339,22 @@ fn convert(ccx: @crate_ctxt, it: @ast::item) {
             check_methods_against_trait(ccx, tps, rp, selfty, t, cms);
         }
       }
-      ast::item_trait(*) {
+      ast::item_trait(tps, trait_methods) {
         let tpt = ty_of_item(ccx, it);
         debug!{"item_trait(it.id=%d, tpt.ty=%s)",
                it.id, ty_to_str(tcx, tpt.ty)};
         write_ty_to_tcx(tcx, it.id, tpt.ty);
         ensure_trait_methods(ccx, it.id);
+
+        let (_, provided_methods) = split_trait_methods(trait_methods);
+        let selfty = ty::mk_self(tcx);
+        let {bounds, _} = mk_substs(ccx, tps, rp);
+        let _cms = convert_methods(ccx, provided_methods, rp, bounds, selfty);
+        // FIXME (#2616): something like this, when we start having
+        // trait inheritance?
+        // for trt.each |t| {
+        // check_methods_against_trait(ccx, tps, rp, selfty, t, cms);
+        // }
       }
       ast::item_class(tps, traits, members, m_ctor, m_dtor) {
         // Write the class type