@classmethod
    @overload
    def qwith_entities(cls: Type[T_DBModel], retval: Type[M1],
            *filters) -> Iterable[Tuple[T_DBModel, M1]]: ...

    @classmethod
    @overload
    def qwith_entities(
            cls: Type[T_DBModel], retvals: Tuple[Type[M1], Type[M2]],
            *filters) -> Iterable[Tuple[M1, M2]]: ...

    @classmethod
    @overload
    def qwith_entities(
            cls: Type[T_DBModel], retvals: Tuple[Type[M1], Type[M2], Type[M3]],
            *filters) -> Iterable[Tuple[M1, M2, M3]]: ...

    @classmethod
    @overload
    def qwith_entities(
            cls: Type[T_DBModel],
            retvals: Tuple[Type[M1], Type[M2], Type[M3], Type[M4]],
            *filters) -> List[Tuple[M1, M2, M3, M4]]: ...

-----

    User.qwith_entities(Role)  # incorrectly inferred as List[Tuple[Any, Role]]

    Base.qwith_entities((User, Role))  # correctly inferred as List[Tuple[User, Role]]