diff --git a/src/libcore/ops.rs b/src/libcore/ops.rs
index 6de5f31c6d1..f6e3e7f61cf 100644
--- a/src/libcore/ops.rs
+++ b/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;
 }
diff --git a/src/test/compile-fail/issue-17636.rs b/src/test/compile-fail/issue-17636.rs
index 635a184a9d3..ad2ebff59bc 100644
--- a/src/test/compile-fail/issue-17636.rs
+++ b/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
 }
diff --git a/src/test/compile-fail/issue-2149.rs b/src/test/compile-fail/issue-2149.rs
index 81f57dd9640..19d210f1905 100644
--- a/src/test/compile-fail/issue-2149.rs
+++ b/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() {