Testcase for intersection of a class and a separate interface after instanceof

Author: ondrejmirtes

tests/PHPStan/Analyser/NodeScopeResolverTest.php

@@ -2033,6 +2033,14 @@ public function dataInstanceOf(): array
 'static(InstanceOfNamespace\Foo)',
 'clone $static',
 ],
+[
+'InstanceOfNamespace\BarInterface&InstanceOfNamespace\Foo',
+'$intersected',
+],
+[
+'$this(InstanceOfNamespace\Foo)&InstanceOfNamespace\BarInterface',
+'$this',
+],
 ];
 }
 

tests/PHPStan/Analyser/data/instanceof.php

@@ -5,13 +5,19 @@
 use PhpParser\Node\Expr;
 use PhpParser\Node\Expr\ArrayDimFetch;
 
+interface BarInterface
+{
+
+}
+
 class Foo
 {
 
 public function someMethod(Expr $foo)
 {
 $bar = $foo;
 $baz = doFoo();
+$intersected = new Foo();
 
 if ($baz instanceof Foo) {
 // ...
@@ -21,7 +27,11 @@ public function someMethod(Expr $foo)
 if ($dolor instanceof Dolor && $sit instanceof Sit) {
 if ($static instanceof static) {
 if ($self instanceof self) {
-die;
+if ($intersected instanceof BarInterface) {
+if ($this instanceof BarInterface) {
+die;
+}
+}
 }
 }
 }