modify leak-check to track only outgoing edges from placeholders

[rust.git] / src / test / ui / hrtb / hrtb-exists-forall-trait-contravariant.rs

diff --git a/src/test/ui/hrtb/hrtb-exists-forall-trait-contravariant.rs b/src/test/ui/hrtb/hrtb-exists-forall-trait-contravariant.rs
index 4c1d4d28a09b01eace9d5efbd5a2596ea8632f14..921061916fc95b7d46c891db83d39cfae29499a5 100644 (file)
--- a/src/test/ui/hrtb/hrtb-exists-forall-trait-contravariant.rs
+++ b/src/test/ui/hrtb/hrtb-exists-forall-trait-contravariant.rs
@@ -32,5 +32,5 @@ fn main() {
     // NB. *However*, the reinstated leak-check gives an error here.
 
     foo::<()>();
-    //~^ ERROR not satisfied
+    //~^ ERROR implementation of `Trait` is not general enough
 }