Join of two type concrete type objects may be considered abstract

[JukkaL]

Mypy complains about the following code even though it looks fine:

from abc import abstractmethod

class Base:
    @abstractmethod
    def f(self) -> None: pass
class A(Base):
    def f(self) -> None: pass
class B(Base):
    def f(self) -> None: pass

t = [A, B]

t[0]()  # Cannot instantiate abstract class 'Base' with abstract attribute 'f'

It looks like the join of two callables representing type objects should perhaps be Type[x] instead of another callable, since mypy basically assumes that a callable represents a specific type object, not something that can also be any subclass. The same issue probably applies to meets as well.

[JukkaL]

Another related problem:

from abc import abstractmethod
from typing import Type

class Base:
    @abstractmethod
    def f(self) -> None: pass
class A(Base):
    def f(self) -> None: pass
class B(Base):
    def f(self) -> None: pass

t: Type[Base] = A if bool() else B  
    # Can only assign non-abstract classes to a variable of type 'Type[rt.Base]'