The example below returns a boolean instead of a float. This passes mypy and shows no errors in the PyCharm editor.
def add(a: float, b: float) -> float:
