(mypy-qyes) ~/dev/mypy stubtest-mod λ cat x.py
from typing import TYPE_CHECKING

if TYPE_CHECKING:
    x: int
else:
    def x(): ...

(mypy-qyes) ~/dev/mypy stubtest-mod λ stubtest x
error: x.x variable differs from runtime type def () -> Any
Stub: at line 4 in file /Users/shantanu/dev/mypy/x.py
builtins.int
Runtime: at line 6 in file /Users/shantanu/dev/mypy/x.py
<function x at 0x102c9e170>

Found 1 error (checked 1 module)

(mypy-qyes) ~/dev/mypy stubtest-mod λ cat z.py
def stub_posonly(number, text): pass

(mypy-qyes) ~/dev/mypy stubtest-mod λ cat z.pyi
def stub_posonly_570(number: int, /, text: str) -> None: ...

(mypy-qyes) ~/dev/mypy stubtest-mod λ stubtest z
error: z.stub_posonly is not present in stub
Stub: in file /Users/shantanu/dev/mypy/z.pyi
MISSING
Runtime: at line 1 in file /Users/shantanu/dev/mypy/z.py
<function stub_posonly at 0x100de9f30>

error: z.stub_posonly_570 is not present at runtime
Stub: at line 1 in file /Users/shantanu/dev/mypy/z.pyi
def (builtins.int, text: builtins.str)
Runtime:
MISSING

Found 2 errors (checked 1 module)