object_type,

original_type=callee,

)

elifisinstance(callee,UninhabitedType):

ret=UninhabitedType()

ret.ambiguous=callee.ambiguous

returncallee,ret

else:

returnself.msg.not_callable(callee,context),AnyType(TypeOfAny.from_error)

TypeVarLikeType,

TypeVarTupleType,

TypeVarType,

UninhabitedType,

UnionType,

get_proper_type,

)

ifnotmx.suppress_errors:

mx.msg.deleted_as_rvalue(typ,mx.context)

returnAnyType(TypeOfAny.from_error)

elifisinstance(typ,UninhabitedType):

attr_type=UninhabitedType()

attr_type.ambiguous=typ.ambiguous

returnreport_missing_attribute(mx.original_type,typ,name,mx)

f2: Callable[[], NoReturn] = lambda: foo()

x = 0 # not unreachable

[case testAttributeNoReturn]

# flags: --warn-unreachable

from typing import Optional, NoReturn, TypeVar

def foo() -> NoReturn:

raise

T = TypeVar("T")

def bar(x: Optional[list[T]] = None) -> T:

...

reveal_type(bar().attr) # N: Revealed type is "Never"

1 # not unreachable

reveal_type(foo().attr) # N: Revealed type is "Never"

1 # E: Statement is unreachable