Rollup merge of #103718 - matklad:infer-lazy, r=dtolnay

[rust.git] / src / test / ui / associated-types / hr-associated-type-bound-param-2.rs

diff --git a/src/test/ui/associated-types/hr-associated-type-bound-param-2.rs b/src/test/ui/associated-types/hr-associated-type-bound-param-2.rs
index a04144ba06b6577be3ce5b4be34c198abac95f63..f74c5a8590d1d5989766217919f176d4e05b5e9d 100644 (file)
--- a/src/test/ui/associated-types/hr-associated-type-bound-param-2.rs
+++ b/src/test/ui/associated-types/hr-associated-type-bound-param-2.rs
@@ -1,9 +1,8 @@
-// ignore-compare-mode-chalk
 trait Z<'a, T: ?Sized>
 where
     T: Z<'a, u16>,
-    //~^ the trait bound `for<'b> <u16 as Z<'b, u16>>::W: Clone` is not satisfied
-    //~| the trait bound `for<'b> <u16 as Z<'b, u16>>::W: Clone` is not satisfied
+    //~^ the trait bound `str: Clone` is not satisfied
+    //~| the trait bound `str: Clone` is not satisfied
     for<'b> <T as Z<'b, u16>>::W: Clone,
 {
     type W: ?Sized;
@@ -14,7 +13,7 @@ fn h(&self, x: &T::W) {
 
 impl<'a> Z<'a, u16> for u16 {
     type W = str;
-    //~^ ERROR the trait bound `for<'b> <u16 as Z<'b, u16>>::W: Clone
+    //~^ ERROR the trait bound `str: Clone
 }
 
 fn main() {