Bless test

Author: fee1-dead

src/test/ui/generic-associated-types/projection-bound-cycle-generic.stderr

@@ -1,8 +1,8 @@
 error[E0275]: overflow evaluating the requirement `<T as Foo>::Item: Sized`
   --> $DIR/projection-bound-cycle-generic.rs:44:5
    |
-LL | struct OnlySized<T> where T: Sized { f: T }
-   |                  - required by this bound in `OnlySized`
+LL |     type Item: Sized where <Self as Foo>::Item: Sized;
+   |                                                 ----- required by this bound in `Foo::Item`
 ...
 LL |     type Assoc = OnlySized<<T as Foo>::Item>;
    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

src/test/ui/generic-associated-types/projection-bound-cycle.stderr

@@ -1,8 +1,8 @@
 error[E0275]: overflow evaluating the requirement `<T as Foo>::Item: Sized`
   --> $DIR/projection-bound-cycle.rs:46:5
    |
-LL | struct OnlySized<T> where T: Sized { f: T }
-   |                  - required by this bound in `OnlySized`
+LL |     type Item: Sized where <Self as Foo>::Item: Sized;
+   |                                                 ----- required by this bound in `Foo::Item`
 ...
 LL |     type Assoc = OnlySized<<T as Foo>::Item>;
    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^