Better return type error message

[rahul-kothari]

Problem

Happens when I write:

fn lotsofRead() -> pub Field {
....
// I return nothing!
}

Happy Case

Could be Expected return type Field, but a value of type () was actually returned

Alternatives Considered

No response

Additional Context

No response

Would you like to submit a PR for this Issue?

No

Support Needs

No response

[kevaundray]

@f01dab1e can you take this on?

[ghost]

maybe add an annotation like in Rust:

  |
1 | fn lotsofRead() -> usize {
  |    ----------      ^^^^^ expected `usize`, found `()`
  |    |
  |    implicitly returns `()` as its body has no tail or `return` expression