Added test

slevomat · Feb 23, 2025 · 7748a42 · 7748a42
1 parent 5e3b792
commit 7748a42
Show file tree

Hide file tree

Showing 2 changed files with 17 additions and 1 deletion.
diff --git a/tests/Helpers/FunctionHelperTest.php b/tests/Helpers/FunctionHelperTest.php
@@ -174,6 +174,14 @@ public static function dataParametersTypeHints(): array
 					'$d' => new TypeHint('string|int|float', false, 0, 0),
 				],
 			],
+			[
+				'dnf',
+				[
+					'$a' => new TypeHint('(A&B)|C|D', false, 0, 0),
+					'$b' => new TypeHint('A|(B&C)|D', false, 0, 0),
+					'$c' => new TypeHint('A|B|(C&D)', false, 0, 0),
+				],
+			],
 		];
 	}
 

diff --git a/tests/Helpers/data/functionParametersTypeHints.php b/tests/Helpers/data/functionParametersTypeHints.php
@@ -1,4 +1,4 @@
-<?php // lint >= 8.0
+<?php // lint >= 8.2
 
 namespace FooNamespace;
 
@@ -22,4 +22,12 @@ abstract public function parametersWithWeirdDefinition(string$string,$int,bool$b
 	public function unionTypeHints(string|int $a, int|false $b, null|int $c, string | int | float $d)
 	{}
 
+	public function dnf(
+		(A&B)|C|D $a,
+		A|(B&C)|D $b,
+		A|B|(C&D) $c,
+	) {
+
+	}
+
 }