Check that return value is compatible [return-value]

Mypy checks that the returned value is compatible with the typesignature of the function.

Example:

def func(x: int) -> str:
    # Error: Incompatible return value type (got "int", expected "str")  [return-value]
    return x + 1