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

Beginne damit, das bereitgestellte Python-Beispiel mit mypy 1.11.1 auszuführen und zu untersuchen, wie der bedingte getattr-Ausdruck analysiert wird. Als erledigt gilt die Aufgabe, wenn das Beispiel ohne den gemeldeten return-value-Fehler typgeprüft wird und ein Regressionstest das Verhalten abdeckt.