Intersection types

[ciaranmcnulty]

It'd be nice to be able to ask for an intersection type:

function it_does_stuff( Foo&Bar $fooBar) 
{
   $fooBar->methodFromFoo()->willReturn(1);
   $fooBar->methodFromBar()->willReturn(2);
}

This should be technically possible, Prophecy is happy to double multiple types after all.

This probably won't be useful until Prophecy gets the ability to double classes that use intersections though :/

In the short term we probably want to disallow Intersection type hints in the codebase before we tag a release for 8.1

[GrahamCampbell]

Was about to write "but what about intersection of two classes"... but of course this is ⊥ unless one of them is a subtype of the other, so.

[ciaranmcnulty]

Yes I _think_so 😅 That's good to point out though

Reader&XmlReader is just the same as XmlReader so probably an error on the author's part