From e6a7d5a3e5da550fc5bf1b72b287a79a120ba332 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=D0=9C=D0=B0=D0=BA=D1=81=D0=B8=D0=BC=20=D0=A1=D0=BF=D0=B8?= =?UTF-8?q?=D1=80=D0=BA=D0=BE=D0=B2?= Date: Thu, 20 Nov 2025 11:03:28 +0400 Subject: [PATCH] Add tests for DNF types --- tests/unit/TypeResolverTest.php | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) diff --git a/tests/unit/TypeResolverTest.php b/tests/unit/TypeResolverTest.php index 272535e..a1da11e 100644 --- a/tests/unit/TypeResolverTest.php +++ b/tests/unit/TypeResolverTest.php @@ -964,6 +964,24 @@ public function typeProvider(): array ] ), ], + [ + '(A&B)|C|(D&E)', + new Compound([ + new Expression( + new Intersection([ + new Object_(new Fqsen('\\phpDocumentor\\A')), + new Object_(new Fqsen('\\phpDocumentor\\B')), + ]), + ), + new Object_(new Fqsen('\\phpDocumentor\\C')), + new Expression( + new Intersection([ + new Object_(new Fqsen('\\phpDocumentor\\D')), + new Object_(new Fqsen('\\phpDocumentor\\E')), + ]), + ), + ]), + ], [ 'string[]', new Array_(