adapt and bless ui tests

Author: adwinwhite

tests/ui/associated-consts/assoc-const-eq-ty-alias-noninteracting.rs

@@ -23,6 +23,6 @@ trait SuperTrait {
 
 fn take0(_: impl Trait<N = 0, N = ()>) {}
 
-fn take1(_: impl Trait<Q = "...", Q = [()]>) {}
+fn take1(_: impl Trait<Q = "...", Q = ()>) {}
 
 fn main() {}

tests/ui/associated-type-bounds/issue-102335-ty.rs

@@ -2,12 +2,14 @@ trait T {
     type A: S<C<i32 = u32> = ()>; // Just one erroneous equality constraint
     //~^ ERROR associated item constraints are not allowed here
     //~| ERROR associated item constraints are not allowed here
+    //~| ERROR: the trait bound `(): Q` is not satisfied [E0277]
 }
 
 trait T2 {
     type A: S<C<i32 = u32, X = i32> = ()>; // More than one erroneous equality constraints
     //~^ ERROR associated item constraints are not allowed here
     //~| ERROR associated item constraints are not allowed here
+    //~| ERROR: the trait bound `(): Q` is not satisfied [E0277]
 }
 
 trait Q {}

tests/ui/associated-type-bounds/issue-102335-ty.stderr

@@ -23,8 +23,20 @@ LL -     type A: S<C<i32 = u32> = ()>; // Just one erroneous equality constraint
 LL +     type A: S<C = ()>; // Just one erroneous equality constraint
    |
 
+error[E0277]: the trait bound `(): Q` is not satisfied
+  --> $DIR/issue-102335-ty.rs:2:15
+   |
+LL |     type A: S<C<i32 = u32> = ()>; // Just one erroneous equality constraint
+   |               ^^^^^^^^^^^^^^^^^ the trait `Q` is not implemented for `()`
+   |
+help: this trait has no implementations, consider adding one
+  --> $DIR/issue-102335-ty.rs:15:1
+   |
+LL | trait Q {}
+   | ^^^^^^^
+
 error[E0229]: associated item constraints are not allowed here
-  --> $DIR/issue-102335-ty.rs:8:17
+  --> $DIR/issue-102335-ty.rs:9:17
    |
 LL |     type A: S<C<i32 = u32, X = i32> = ()>; // More than one erroneous equality constraints
    |                 ^^^^^^^^^ associated item constraint not allowed here
@@ -36,7 +48,7 @@ LL +     type A: S<C<X = i32> = ()>; // More than one erroneous equality constra
    |
 
 error[E0229]: associated item constraints are not allowed here
-  --> $DIR/issue-102335-ty.rs:8:17
+  --> $DIR/issue-102335-ty.rs:9:17
    |
 LL |     type A: S<C<i32 = u32, X = i32> = ()>; // More than one erroneous equality constraints
    |                 ^^^^^^^^^ associated item constraint not allowed here
@@ -48,6 +60,19 @@ LL -     type A: S<C<i32 = u32, X = i32> = ()>; // More than one erroneous equal
 LL +     type A: S<C<X = i32> = ()>; // More than one erroneous equality constraints
    |
 
-error: aborting due to 4 previous errors
+error[E0277]: the trait bound `(): Q` is not satisfied
+  --> $DIR/issue-102335-ty.rs:9:15
+   |
+LL |     type A: S<C<i32 = u32, X = i32> = ()>; // More than one erroneous equality constraints
+   |               ^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Q` is not implemented for `()`
+   |
+help: this trait has no implementations, consider adding one
+  --> $DIR/issue-102335-ty.rs:15:1
+   |
+LL | trait Q {}
+   | ^^^^^^^
+
+error: aborting due to 6 previous errors
 
-For more information about this error, try `rustc --explain E0229`.
+Some errors have detailed explanations: E0229, E0277.
+For more information about an error, try `rustc --explain E0229`.

tests/ui/async-await/async-fn/dyn-in-return-type.fixed

@@ -12,6 +12,8 @@ trait T {
     //~^ ERROR return type cannot be a trait object without pointer indirection
     //~| HELP consider returning an `impl Trait` instead of a `dyn Trait`
     //~| HELP alternatively, box the return type, and wrap all of the returned values in `Box::new`
+    //~| ERROR: the size for values of type `(dyn Debug + 'static)` cannot be known at compilation time [E0277]
+    //~| HELP: the trait `Sized` is not implemented for `(dyn Debug + 'static)`
         Box::new("")
     }
 }

tests/ui/async-await/async-fn/dyn-in-return-type.rs

@@ -12,6 +12,8 @@ trait T {
     //~^ ERROR return type cannot be a trait object without pointer indirection
     //~| HELP consider returning an `impl Trait` instead of a `dyn Trait`
     //~| HELP alternatively, box the return type, and wrap all of the returned values in `Box::new`
+    //~| ERROR: the size for values of type `(dyn Debug + 'static)` cannot be known at compilation time [E0277]
+    //~| HELP: the trait `Sized` is not implemented for `(dyn Debug + 'static)`
         Box::new("")
     }
 }

tests/ui/async-await/async-fn/dyn-in-return-type.stderr

@@ -31,7 +31,7 @@ LL |     async fn f(&self) -> Box<dyn core::fmt::Debug> {
    |                          ++++                    +
 
 error[E0746]: return type cannot be a trait object without pointer indirection
-  --> $DIR/dyn-in-return-type.rs:19:26
+  --> $DIR/dyn-in-return-type.rs:21:26
    |
 LL |     async fn f(&self) -> dyn core::fmt::Debug {
    |                          ^^^^^^^^^^^^^^^^^^^^
@@ -46,6 +46,15 @@ help: alternatively, box the return type, and wrap all of the returned values in
 LL |     async fn f(&self) -> Box<dyn core::fmt::Debug> {
    |                          ++++                    +
 
-error: aborting due to 3 previous errors
+error[E0277]: the size for values of type `(dyn Debug + 'static)` cannot be known at compilation time
+  --> $DIR/dyn-in-return-type.rs:11:26
+   |
+LL |     async fn f(&self) -> dyn core::fmt::Debug {
+   |                          ^^^^^^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
+   |
+   = help: the trait `Sized` is not implemented for `(dyn Debug + 'static)`
+
+error: aborting due to 4 previous errors
 
-For more information about this error, try `rustc --explain E0746`.
+Some errors have detailed explanations: E0277, E0746.
+For more information about an error, try `rustc --explain E0277`.

tests/ui/closures/issue-111932.rs

@@ -1,6 +1,6 @@
 trait Foo: std::fmt::Debug {}
 
-fn print_foos(foos: impl Iterator<Item = dyn Foo>) {
+fn print_foos(foos: impl Iterator<Item = dyn Foo>) { //~ ERROR [E0277]
     foos.for_each(|foo| { //~ ERROR [E0277]
         println!("{:?}", foo); //~ ERROR [E0277]
     });

tests/ui/closures/issue-111932.stderr

@@ -1,3 +1,11 @@
+error[E0277]: the size for values of type `(dyn Foo + 'static)` cannot be known at compilation time
+  --> $DIR/issue-111932.rs:3:35
+   |
+LL | fn print_foos(foos: impl Iterator<Item = dyn Foo>) {
+   |                                   ^^^^^^^^^^^^^^ doesn't have a size known at compile-time
+   |
+   = help: the trait `Sized` is not implemented for `(dyn Foo + 'static)`
+
 error[E0277]: the size for values of type `(dyn Foo + 'static)` cannot be known at compilation time
   --> $DIR/issue-111932.rs:4:20
    |
@@ -19,6 +27,6 @@ LL |         println!("{:?}", foo);
    = help: the trait `Sized` is not implemented for `dyn Foo`
    = note: this error originates in the macro `$crate::format_args_nl` which comes from the expansion of the macro `println` (in Nightly builds, run with -Z macro-backtrace for more info)
 
-error: aborting due to 2 previous errors
+error: aborting due to 3 previous errors
 
 For more information about this error, try `rustc --explain E0277`.

tests/ui/dyn-compatibility/elaborated-predicates-ordering.rs

@@ -10,11 +10,11 @@ pub trait Service {
 
 pub trait A1: Service<Response = i32> {}
 
-pub trait A2: Service<Future = Box<dyn Future<Output = i32>>> + A1 {
+pub trait A2: Service<Future = Box<dyn Future<Output = i32> + Unpin>> + A1 {
     fn foo(&self) {}
 }
 
-pub trait B1: Service<Future = Box<dyn Future<Output = i32>>> {}
+pub trait B1: Service<Future = Box<dyn Future<Output = i32> + Unpin>> {}
 
 pub trait B2: Service<Response = i32> + B1 {
     fn foo(&self) {}

tests/ui/generic-associated-types/issue-102335-gat.rs

@@ -2,6 +2,7 @@ trait T {
     type A: S<C<(), i32 = ()> = ()>;
     //~^ ERROR associated item constraints are not allowed here
     //~| ERROR associated item constraints are not allowed here
+    //~| ERROR: the trait bound `(): Q` is not satisfied [E0277]
 }
 
 trait Q {}