This error occurs when there is an unsatisfied outlives bound involving an
-elided region on a generic type parameter or associated type.
+elided region and a generic type parameter or associated type.
Erroneous code example:
lifetime `'anon` in `no_restriction()`. The only information available to the
compiler is that `'anon` is valid for the duration of the function. When
calling `with_restriction()`, the compiler requires the completely unrelated
-type parameter `T` to outlive `'anon` because of the `T: 'a bound` in
+type parameter `T` to outlive `'anon` because of the `T: 'a` bound in
`with_restriction()`. This causes an error because `T` is not required to
outlive `'anon` in `no_restriction()`.