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

type(None).__bool__

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! 👍

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

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

FWIW, pyright uses _typeshed.NoneType.

@erictraut

@erictraut do you use any other _typeshed types? 🤔

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

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.

Use _typeshed.NoneType for the type of None #11287

Navigation Menu

Repository navigation

error: "Type[None]" has no attribute "bool" #11539

Metadata

Assignees

Labels

Projects

Milestone

Relationships

Development

	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'))

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

Description

Activity

sobolevn commented on Nov 13, 2021

KotlinIsland commented on Nov 14, 2021

sobolevn commented on Nov 14, 2021

erictraut commented on Nov 14, 2021

sobolevn commented on Nov 14, 2021

erictraut commented on Nov 14, 2021

emmatyping commented on Jun 8, 2022

KotlinIsland commented on Jun 9, 2022

Metadata

Metadata

Assignees

Labels

Projects

Milestone

Relationships

Development

Issue actions

error: "Type[None]" has no attribute "bool" #11539