<lint_name>

avoid_unnecessary_return

Description

As mentioned in flutter/flutter#114290 (comment), it would be great to have a linter to catch:

void f() {
  ...
  return; // LINT this is unnecessary!
}

Realworld example: flutter/flutter#114290

Details

see above

Kind

style?

Good Examples

see above

Bad Examples

see above

Discussion

Add any other motivation or useful context here.

Discussion checklist

• List any existing rules this proposal modifies, complements, overlaps or conflicts with.
• List any relevant issues (reported here, the SDK Tracker, or elsewhere).
• If there's any prior art (e.g., in other linters), please add references here.
• If this proposal corresponds to Effective Dart or Flutter Style Guide advice, please call it out. (If there isn't any corresponding advice, should there be?)
• If this proposal is motivated by real-world examples, please provide as many details as you can. Demonstrating potential impact is especially valuable.