conditioned `getattr` seems not understands defaults

Bug Report

it seems to me that the getattr with the default option is not parsed correctly so mypy complains that none is not allowed, but in fact it shall be (and it is) caught bu the exception

(A clear and concise description of what the bug is.)

To Reproduce

from typing import Optional

class Mine:
    better: Optional[bool]

def play() -> bool:
    m = Mine()
    if getattr(m, "better", None) is None:
        raise RuntimeError()
    return m.better

Expected Behavior

code shall be type-compatible

Actual Behavior

error: Incompatible return value type (got "bool | None", expected "bool")  [return-value]

Your Environment

• Mypy version used: mypy==1.11.1
• Mypy command-line flags: none
• Mypy configuration options from mypy.ini (and other config files): none
• Python version used: 3.10

Start by running the supplied Python example with mypy 1.11.1 and inspect how the conditional getattr expression is analyzed. Done means the example type-checks without the reported return-value error, with a regression test covering the behavior.