Implement new orphan rule that requires that impls of remote traits meet the followin...

[rust.git] / src / test / compile-fail / coherence-pair-covered-uncovered.rs

diff --git a/src/test/compile-fail/coherence-pair-covered-uncovered.rs b/src/test/compile-fail/coherence-pair-covered-uncovered.rs
index 09895ec11db108529a20fe7955904a574c3b8b77..92a07b35852920b8dbec7e6284adcd5bf60476c8 100644 (file)
--- a/src/test/compile-fail/coherence-pair-covered-uncovered.rs
+++ b/src/test/compile-fail/coherence-pair-covered-uncovered.rs
@@ -16,6 +16,6 @@
 struct Local<T>(T);
 
 impl<T,U> Remote for Pair<T,Local<U>> { }
-//~^ ERROR type parameter `T` must also appear
+//~^ ERROR type parameter `T` is not constrained
 
 fn main() { }