consider providing auto-fixing tools for some specific cases

[sigmundch]

Some cases that could easily involve a quick-fix:

• inferrable overrides: subclass left out the return type of a method or getter, suggest the type in the superclass, example:

  /*suggest: String*/ toString() => 'foo';

• operator == overrides:

operator ==(T t) => ...
/* suggest: operator ==(t) => t is T && ... */

Let's add more examples to this issue as we discover them...

[jmesserly]

we ended up using member inference instead