]> git.proxmox.com Git - rustc.git/blobdiff - src/test/compile-fail/hrtb-perfect-forwarding.rs
Imported Upstream version 1.9.0+dfsg1
[rustc.git] / src / test / compile-fail / hrtb-perfect-forwarding.rs
index e8ecc0608fc4aeb1081bf617912250490c9123eb..fcfbeefced06bd184bc9787ff7b17bd4162075c0 100644 (file)
@@ -53,7 +53,7 @@ fn foo_hrtb_bar_not<'b,T>(mut t: T)
     // be implemented. Thus to satisfy `&mut T : for<'a> Foo<&'a
     // isize>`, we require `T : for<'a> Bar<&'a isize>`, but the where
     // clause only specifies `T : Bar<&'b isize>`.
-    foo_hrtb_bar_not(&mut t); //~ ERROR `for<'a> Bar<&'a isize>` is not implemented for the type `T`
+    foo_hrtb_bar_not(&mut t); //~ ERROR `for<'a> T: Bar<&'a isize>` is not satisfied
 }
 
 fn foo_hrtb_bar_hrtb<T>(mut t: T)