Add DNF test for TypeDef. Only runs on 8.2 and later.

tests/TypeDef/TypeExamples82.php

@@ -0,0 +1,15 @@
+<?php
+
+declare(strict_types=1);
+
+namespace Crell\AttributeUtils\TypeDef;
+
+use Crell\AttributeUtils\I1;
+use Crell\AttributeUtils\I2;
+
+class TypeExamples82
+{
+    public function returnsDnf(): (I1&I2)|int
+    {
+    }
+}

tests/TypeDefTest.php

@@ -6,6 +6,7 @@
 
 use Crell\AttributeUtils\TypeDef\Suit;
 use PHPUnit\Framework\Attributes\DataProvider;
+use PHPUnit\Framework\Attributes\RequiresPhp;
 use PHPUnit\Framework\Attributes\Test;
 use PHPUnit\Framework\TestCase;
 
@@ -23,6 +24,23 @@ public function typedefs(string $methodName, callable $test): void
         $test($def);
     }
 
+    #[Test, RequiresPhp('>=8.2')]
+    public function analyze_dnf_attributes(): void
+    {
+        $rType = (new \ReflectionClass(TypeDef\TypeExamples82::class))
+            ->getMethod('returnsDnf')
+            ->getReturnType();
+
+        $def = new TypeDef($rType);
+
+        static::assertFalse($def->allowsNull);
+        static::assertFalse($def->isSimple());
+        static::assertEquals(TypeComplexity::Compound, $def->complexity);
+        static::assertTrue($def->accepts('int'));
+        static::assertTrue($def->accepts(Implementer::class));
+        static::assertFalse($def->accepts(SomeClass::class));
+    }
+
     public static function typeDefProvider(): iterable
     {
         yield 'simpleInt' => [