---

yaml
---
r: 156662
b: refs/heads/try
c: b066d09
h: refs/heads/master
v: v3

Author: nikomatsakis

[refs]

@@ -2,7 +2,7 @@
 refs/heads/master: a34b8dec697014f15e725215e17ea8d956c0ab1a
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: d44ea720fa9dfe062ef06d0eb49a58d4e7e92344
-refs/heads/try: 646ec7d9a9df7c5cd00e781e89144fa2c20b2557
+refs/heads/try: b066d09be8454d735972e056d6b978cf48a85009
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
 refs/heads/ndm: f3868061cd7988080c30d6d5bf352a5a5fe2460b
 refs/heads/try2: 6601b0501e31d08d3892a2d5a7d8a57ab120bf75

branches/try/src/libcore/ops.rs

@@ -638,7 +638,7 @@ shr_impl!(uint u8 u16 u32 u64 int i8 i16 i32 i64)
  * ```
  */
 #[lang="index"]
-pub trait Index<Index, Result> {
+pub trait Index<Index, Sized? Result> {
     /// The method for the indexing (`Foo[Bar]`) operation
     fn index<'a>(&'a self, index: &Index) -> &'a Result;
 }

branches/try/src/test/compile-fail/issue-17636.rs

@@ -15,5 +15,5 @@ pub fn build_archive<'a, I: MyItem<&'a (|&uint|:'a)>>(files: I) {}
 
 fn main() {
     build_archive(&(|_| { }));
-//~^ ERROR unable to infer enough type information to locate the impl of the trait `MyItem<&|&uint|
+//~^ ERROR not implemented
 }

branches/try/src/test/compile-fail/issue-2149.rs

@@ -18,6 +18,7 @@ impl<A> vec_monad<A> for Vec<A> {
         let mut r = fail!();
         for elt in self.iter() { r = r + f(*elt); }
         //~^ ERROR the type of this value must be known
+        //~^^ ERROR not implemented
    }
 }
 fn main() {