New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

generic with union value inferred as common base #12327

Open

DetachHead opened this issue Mar 10, 2022 · 1 comment

Labels

bug topic-join-v-union

Contributor

DetachHead commented Mar 10, 2022

from typing import _T

class A:...
class B(A):
    a: int
class C(A):
    a: int

def safe(it: _T | None) -> _T:...

b_or_c: B | C

value = safe(b_or_c)

reveal_type(value) #A, should be B | C
value.a # error

https://mypy-play.net/?mypy=master&python=3.10&flags=show-error-codes%2Callow-redefinition%2Cstrict%2Ccheck-untyped-defs%2Cdisallow-any-decorated%2Cdisallow-any-expr%2Cdisallow-any-explicit%2Cdisallow-any-generics%2Cdisallow-any-unimported%2Cdisallow-incomplete-defs%2Cdisallow-subclassing-any%2Cdisallow-untyped-calls%2Cdisallow-untyped-decorators%2Cdisallow-untyped-defs%2Cno-implicit-optional%2Cno-implicit-reexport%2Cstrict-equality%2Cwarn-incomplete-stub%2Cwarn-redundant-casts%2Cwarn-return-any%2Cwarn-unreachable%2Cwarn-unused-configs%2Cwarn-unused-ignores&gist=c0de78dd9b545fc94ea9469f55af933a

DetachHead added the bug label

erictraut commented Mar 10, 2022

This is because mypy uses join instead of union. See #12056.

JelleZijlstra added the topic-join-v-union label

AlexWaygood mentioned this issue

Issues with unions of sequences #13112

Closed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment