Editor could warn if a function is annotated with a return type but does not have explicit return

[sethladd]

It would be extremely helpful to get warned if I do this (which, I've done :(

int computeIt(int foo) {
  foo += 1;
  // no explicit return !
}

So, if I take the time to add a type annotation for the return type of a function or method, but do not include an explicit return statement, I'd really appreciate a warning or a "head's up!"

Thanks!

(see also issue #73)

[clayberg]

Set owner to @scheglov.
Added this to the M3 milestone.

[danrubel]

Should be addressed when we move to the new analysis engine

---

Removed this from the M3 milestone.
Added this to the Later milestone.

[clayberg]

Added Duplicate label.
Marked as being merged into #4919.

[clayberg]

Removed this from the Later milestone.
Added this to the M3 milestone.