Return type isn't always properly checked

[cburgdorf]

What is wrong?

We should expect the following to fail because the function will implicitly return () but its signature says it returns bool. It currently compiles but it shouldn't.

contract Foo:

  def bar() -> bool:
    if 1 == 2:
      return true

How can it be fixed

The analyzer needs to reject this with a proper user error.