More work

Author: compiler-errors

tests/ui/traits/non_lifetime_binders/bad-copy-cond.stderr

@@ -1,5 +1,5 @@
 warning: the feature `non_lifetime_binders` is incomplete and may not be safe to use and/or cause compiler crashes
-  --> $DIR/bad-copy-cond.rs:1:12
+  --> $DIR/bad-copy-cond.rs:3:12
    |
 LL | #![feature(non_lifetime_binders)]
    |            ^^^^^^^^^^^^^^^^^^^^
@@ -8,13 +8,13 @@ LL | #![feature(non_lifetime_binders)]
    = note: `#[warn(incomplete_features)]` on by default
 
 error[E0277]: the trait bound `T: Copy` is not satisfied
-  --> $DIR/bad-copy-cond.rs:7:5
+  --> $DIR/bad-copy-cond.rs:9:5
    |
 LL |     foo();
    |     ^^^ the trait `Copy` is not implemented for `T`
    |
 note: required by a bound in `foo`
-  --> $DIR/bad-copy-cond.rs:4:26
+  --> $DIR/bad-copy-cond.rs:6:26
    |
 LL | fn foo() where for<T> T: Copy {}
    |                          ^^^^ required by this bound in `foo`

tests/ui/traits/non_lifetime_binders/bad-sized-cond.rs

@@ -1,3 +1,5 @@
+// compile-flags: -Ztrait-solver=next
+
 #![feature(non_lifetime_binders)]
 //~^ WARN is incomplete and may not be safe
 
@@ -15,9 +17,7 @@ where
 
 fn main() {
     foo();
-    //~^ ERROR the size for values of type `V` cannot be known at compilation time
 
     bar();
-    //~^ ERROR the size for values of type `V` cannot be known at compilation time
-    //~| ERROR `V` is not an iterator
+    //~^ ERROR the trait bound `V: IntoIterator` is not satisfied
 }