sure maybe - but the point you're trying to get work done, not fight the type system. The type system is there to help!
So somebody defines interface A_B which inherits from A and B, most implementations use that and all is well
much easier to write methods now
but then you have millions of these combined interfaces to make
and you think; I don't really need them; but then, for return types you really do.
That or you make your code even more complicated and pass output parameters or sink methods
...which in turn inherently cannot use tricks like auto
or type inference because you need to specify which combined A+B implementation you actually want.
In C++ due to templates it's not quite so bad