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

Inizia eseguendo l’esempio Python fornito con mypy 1.11.1 e analizza come viene valutata l’espressione getattr condizionale. Il lavoro è completato quando l’esempio supera il controllo dei tipi senza l’errore return-value segnalato, con un test di regressione che copra questo comportamento.