]> git.proxmox.com Git - rustc.git/blobdiff - src/test/compile-fail/typeck-default-trait-impl-negation.rs
Imported Upstream version 1.9.0+dfsg1
[rustc.git] / src / test / compile-fail / typeck-default-trait-impl-negation.rs
index 4b91d0b7a736c6f1c1f5d4b692c23fa854333894..8c2658b89a506f0cb3f49269544ff27c067c1349 100644 (file)
@@ -33,10 +33,10 @@ fn is_my_unsafe_trait<T: MyUnsafeTrait>() {}
 fn main() {
     is_my_trait::<ThisImplsTrait>();
     is_my_trait::<ThisImplsUnsafeTrait>();
-    //~^ ERROR the trait `MyTrait` is not implemented for the type `ThisImplsUnsafeTrait`
+    //~^ ERROR `ThisImplsUnsafeTrait: MyTrait` is not satisfied
 
     is_my_unsafe_trait::<ThisImplsTrait>();
-    //~^ ERROR the trait `MyUnsafeTrait` is not implemented for the type `ThisImplsTrait`
+    //~^ ERROR `ThisImplsTrait: MyUnsafeTrait` is not satisfied
 
     is_my_unsafe_trait::<ThisImplsUnsafeTrait>();
 }