Add union types, intersection types, DNS types cases

Author: Slamdunk

tests/_files/source_for_branched_exec_lines_php80.php

@@ -33,3 +33,10 @@
 // Nullsafe Operator
 $ymd = $date?->format('Ymd');       // +1
 ++$var;                             // +1
+
+// Union types
+interface MyUnion
+{
+    public function getNameIdentifier(): ?string;
+    public function hasClaim(bool|string $type, mixed $value): bool;
+}

tests/_files/source_for_branched_exec_lines_php81.php

@@ -24,3 +24,11 @@ enum BackedSuit: string
 
 BasicSuit::Diamonds->shape();       // +1
 BackedSuit::Clubs;                  // +1
+
+
+// Intersection types
+interface MyIntersection
+{
+    public function check(MyIntOne&MyIntTwo $intersection);
+    public function neverReturn(): never;
+}

tests/_files/source_for_branched_exec_lines_php82.php

@@ -0,0 +1,10 @@
+<?php
+
+// Disjunctive Normal Form (DNF)
+class MyDnf
+{
+    public function bar((A&B)|null $entity)
+    {
+        return $entity;                     // +1
+    }
+}

tests/tests/StaticAnalysis/ExecutableLinesFindingVisitorTest.php

@@ -52,6 +52,14 @@ public function testExecutableLinesAreGroupedByBranchPhp81(): void
         $this->doTestSelfDescribingAsset(TEST_FILES_PATH . 'source_for_branched_exec_lines_php81.php');
     }
 
+    /**
+     * @requires PHP 8.2
+     */
+    public function testExecutableLinesAreGroupedByBranchPhp82(): void
+    {
+        $this->doTestSelfDescribingAsset(TEST_FILES_PATH . 'source_for_branched_exec_lines_php82.php');
+    }
+
     private function doTestSelfDescribingAsset(string $filename): void
     {
         $source = file_get_contents($filename);