E0277 for `#[derive(_)]`-able trait on local type should have structured suggestion

[estebank]

When encountering code that requires a deriveable trait on a type that doesn't have it, we currently emit an E0277 error and when possible point at the trait bound that introduced the obligation:

error[E0277]: can't compare `S` with `S`
 --> src/main.rs:3:9
  |
3 |     foo(S);
  |     --- ^ no implementation for `S == S`
  |     |
  |     required by a bound introduced by this call
  |
  = help: the trait `PartialEq` is not implemented for `S`
note: required by a bound in `foo`
 --> src/main.rs:6:11
  |
6 | fn foo<T: PartialEq>(_: T) {}
  |           ^^^^^^^^^ required by this bound in `foo`

When the bound applies on a local type, we should suggest

help: consider annotating `S` with `#[derive(PartialEq)]`
  |
1 | #[derive(PartialEq)]
  |

like we do for E0369.

[ohno418]

@rustbot claim