bless

Author: BoxyUwU

tests/ui/mismatched_types/issue-75361-mismatched-impl.stderr

@@ -10,12 +10,10 @@ LL |   fn adjacent_edges(&self) -> Box<dyn MyTrait<Item = &Self::EdgeType> + '_>
    = note: expected signature `fn(&'1 T) -> Box<(dyn MyTrait<Item = &'1 T> + 'static)>`
               found signature `fn(&'1 T) -> Box<(dyn MyTrait<Item = &'1 T> + '1)>`
 help: the lifetime requirements from the `impl` do not correspond to the requirements in the `trait`
-  --> $DIR/issue-75361-mismatched-impl.rs:12:22
+  --> $DIR/issue-75361-mismatched-impl.rs:12:55
    |
 LL |   fn adjacent_edges(&self) -> Box<dyn MyTrait<Item = &Self::EdgeType>>;
-   |                      ^^^^                             ^^^^ consider borrowing this type parameter in the trait
-   |                      |
-   |                      consider borrowing this type parameter in the trait
+   |                                                       ^^^^ consider borrowing this type parameter in the trait
 
 error: aborting due to 1 previous error
 

tests/ui/self/elision/no-shadow-pin-self.stderr

@@ -9,11 +9,8 @@ LL |     fn method(self: Pin<&Self>, f: &u32) -> &u32 {
    |
    = note: expected signature `fn(Pin<&'1 Pin<P>>, &'a u32) -> &'a u32`
               found signature `fn(Pin<&'1 Pin<P>>, &'2 u32) -> &'1 u32`
-help: the lifetime requirements from the `impl` do not correspond to the requirements in the `trait`
-  --> $DIR/no-shadow-pin-self.rs:3:30
-   |
-LL |     fn method<'a>(self: Pin<&Self>, f: &'a u32) -> &'a u32 {
-   |                              ^^^^ consider borrowing this type parameter in the trait
+   = help: the lifetime requirements from the `impl` do not correspond to the requirements in the `trait`
+   = help: verify the lifetime relationships in the `trait` and `impl` between the `self` argument, the other inputs and its output
 
 error: lifetime may not live long enough
   --> $DIR/no-shadow-pin-self.rs:12:9

tests/ui/traits/param-without-lifetime-constraint.stderr

@@ -10,12 +10,10 @@ LL |     fn get_relation(&self) -> &ProofReader {
    = note: expected signature `fn(&'1 Article) -> &'2 ProofReader`
               found signature `fn(&'1 Article) -> &'1 ProofReader`
 help: the lifetime requirements from the `impl` do not correspond to the requirements in the `trait`
-  --> $DIR/param-without-lifetime-constraint.rs:10:22
+  --> $DIR/param-without-lifetime-constraint.rs:10:31
    |
 LL |     fn get_relation(&self) -> To;
-   |                      ^^^^     ^^ consider borrowing this type parameter in the trait
-   |                      |
-   |                      consider borrowing this type parameter in the trait
+   |                               ^^ consider borrowing this type parameter in the trait
 
 error: aborting due to 1 previous error
 

tests/ui/traits/self-without-lifetime-constraint.stderr

@@ -13,9 +13,7 @@ help: the lifetime requirements from the `impl` do not correspond to the require
   --> $DIR/self-without-lifetime-constraint.rs:42:60
    |
 LL |     fn column_result(value: ValueRef<'_>) -> FromSqlResult<Self, &Self>;
-   |                                                            ^^^^   ^^^^ consider borrowing this type parameter in the trait
-   |                                                            |
-   |                                                            consider borrowing this type parameter in the trait
+   |                                                            ^^^^ consider borrowing this type parameter in the trait
 
 error[E0515]: cannot return value referencing function parameter `x`
   --> $DIR/self-without-lifetime-constraint.rs:17:87