error: "Type[None]" has no attribute "__bool__"

[KotlinIsland]

type(None).__bool__

[sobolevn]

We need to add something like

mypy/mypy/checkmember.py

Lines 323 to 329 in 8f281fb

	if is_python_3 and name == '__bool__':
	literal_false = LiteralType(False, fallback=mx.named_type('builtins.bool'))
	return CallableType(arg_types=[],
	arg_kinds=[],
	arg_names=[],
	ret_type=literal_false,
	fallback=mx.named_type('builtins.function'))

but for Type[None], PR is on its way! 👍

[KotlinIsland]

Would it make sense to use typesheds _typeshed.NoneType for analysis instead of hardcoding it into the typechecker?

[sobolevn]

_typeshed.NoneType is not standartized. We cannot use it yet 😞

[erictraut]

FWIW, pyright uses _typeshed.NoneType.

[sobolevn]

@erictraut do you use any other _typeshed types? 🤔

[erictraut]

That's the only symbol from _typeshed. We also use _TypedDict from typing, which predates _typeshed but should maybe be moved there.

[emmatyping]

I think we should probably use _typeshed.NoneType or types.NoneType in 3.10+ (which _typeshed.NoneType already handles).

If someone wants to make a PR changing mypy to leverage the _typeshed code, I'd be happy to review it.

[KotlinIsland]

• Use _typeshed.NoneType for the type of None #11287