Revise the tests for coroutine/auto-trait-regions

Author: amandasystems

tests/ui/coroutine/auto-trait-regions.rs

@@ -20,6 +20,19 @@ impl<'a> Foo for &'a OnlyFooIfRef {}
 
 fn assert_foo<T: Foo>(f: T) {}
 
+fn other_assertion() {
+    // Disallow impls which relates lifetimes in the coroutine interior
+    let gen = #[coroutine] move || {
+        let a = A(&mut true, &mut true, No);
+        //~^ ERROR borrow may still be in use when coroutine yields
+        //~| ERROR borrow may still be in use when coroutine yields
+        yield;
+        assert_foo(a);
+    };
+    assert_foo(gen);
+    //~^ ERROR not general enough
+}
+
 fn main() {
     // Make sure 'static is erased for coroutine interiors so we can't match it in trait selection
     let x: &'static _ = &OnlyFooIfStaticRef(No);
@@ -39,15 +52,4 @@ fn main() {
         assert_foo(x);
     };
     assert_foo(gen); // ok
-
-    // Disallow impls which relates lifetimes in the coroutine interior
-    let gen = #[coroutine] move || {
-        let a = A(&mut true, &mut true, No);
-        //~^ ERROR borrow may still be in use when coroutine yields
-        //~| ERROR borrow may still be in use when coroutine yields
-        yield;
-        assert_foo(a);
-    };
-    assert_foo(gen);
-    //~^ ERROR not general enough
 }

tests/ui/coroutine/auto-trait-regions.stderr

@@ -1,5 +1,5 @@
 error[E0626]: borrow may still be in use when coroutine yields
-  --> $DIR/auto-trait-regions.rs:45:19
+  --> $DIR/auto-trait-regions.rs:26:19
    |
 LL |     let gen = #[coroutine] move || {
    |                            ------- within this coroutine
@@ -15,7 +15,7 @@ LL |     let gen = #[coroutine] static move || {
    |                            ++++++
 
 error[E0626]: borrow may still be in use when coroutine yields
-  --> $DIR/auto-trait-regions.rs:45:30
+  --> $DIR/auto-trait-regions.rs:26:30
    |
 LL |     let gen = #[coroutine] move || {
    |                            ------- within this coroutine
@@ -31,22 +31,22 @@ LL |     let gen = #[coroutine] static move || {
    |                            ++++++
 
 error: implementation of `Foo` is not general enough
-  --> $DIR/auto-trait-regions.rs:31:5
+  --> $DIR/auto-trait-regions.rs:32:5
    |
 LL |     assert_foo(gen);
    |     ^^^^^^^^^^^^^^^ implementation of `Foo` is not general enough
    |
-   = note: `&'0 OnlyFooIfStaticRef` must implement `Foo`, for any lifetime `'0`...
-   = note: ...but `Foo` is actually implemented for the type `&'static OnlyFooIfStaticRef`
+   = note: `Foo` would have to be implemented for the type `A<'0, '1>`, for any two lifetimes `'0` and `'1`...
+   = note: ...but `Foo` is actually implemented for the type `A<'_, '2>`, for some specific lifetime `'2`
 
 error: implementation of `Foo` is not general enough
-  --> $DIR/auto-trait-regions.rs:51:5
+  --> $DIR/auto-trait-regions.rs:44:5
    |
 LL |     assert_foo(gen);
    |     ^^^^^^^^^^^^^^^ implementation of `Foo` is not general enough
    |
-   = note: `Foo` would have to be implemented for the type `A<'0, '1>`, for any two lifetimes `'0` and `'1`...
-   = note: ...but `Foo` is actually implemented for the type `A<'_, '2>`, for some specific lifetime `'2`
+   = note: `&'0 OnlyFooIfStaticRef` must implement `Foo`, for any lifetime `'0`...
+   = note: ...but `Foo` is actually implemented for the type `&'static OnlyFooIfStaticRef`
 
 error: aborting due to 4 previous errors