def foo(): # return type inferred as Never
    print(42)
    if False:
        print(1)

def foo(): # return type inferred as None
    if False:
        print(1)
    print(42)

class A():
  def foo():
    print(42)
    if False:
         print(1)

class B(A):
  def foo(): # bad-override
    print(3)

Class member `B.foo` overrides parent class `A` in an inconsistent manner [[bad-override](https://pyrefly.org/en/docs/error-kinds/#bad-override)]
  `B.foo` has type `() -> None`, which is not assignable to `() -> Never`, the type of `A.foo`
  Signature mismatch:
  expected: def foo() -> Never: ...
                          ^^^^ return type
  found:    def foo() -> None: ...
                          ^^^ return type