(🐞) False positive for explicit Any with inferred Type[type]

[KotlinIsland]

type  # no error
t1 = type  # error: Expression type contains "Any" (has type "Type[type]")
t2: type[type] = type  # no error  
t3: Type[type] = type  # no error

[erictraut]

I don't see any errors when I run mypy on this code sample. I confirmed I'm running the latest published version. Can you confirm which version you're using?

[KotlinIsland]

https://mypy-play.net/?mypy=latest&python=3.10&flags=strict%2Cdisallow-any-decorated%2Cdisallow-any-expr%2Cdisallow-any-explicit%2Cdisallow-any-generics&gist=99da1fd40df8ec47299041c6c1ce4266

[erictraut]

Thanks. I'm able to repro the problem with the "--disallow-any-expr" option enabled.

[erictraut]

This could be the intended behavior. I suspect that t1 = type is being interpreted as a type alias with an implied Any type argument.

[KotlinIsland]

I think it's triggering the Any detection because:

reveal_type(type)

note: Revealed type is "Overload(def (o: builtins.object) -> builtins.type, def (name: builtins.str, bases: builtins.tuple[builtins.type], dict: builtins.dict[builtins.str, Any], **kwds: Any) -> builtins.type)"
contains Any

[KotlinIsland]

but strange that it's not complaining with a bare type.

[KotlinIsland]

This could be the intended behavior. I suspect that t1 = type is being interpreted as a type alias with an implied Any type argument.

This sounds more likely actually. But seems wrong to me.

[KotlinIsland]

t1 = type  # error: Expression type contains "Any" (has type "Type[type]")
t2: t1[str] = str  # error: "type" expects no type arguments, but 1 given

hmmmmmmmm

[KotlinIsland]

If I have --disallow-any-generics enabled and --disallow-any-expr disabled, there's no error. So I don't that's whats happening.