Add more tests for native intersection types in class properties

vimeo · Feb 20, 2024 · b0e6db1 · b0e6db1
1 parent 503ccd8
commit b0e6db1
Showing 1 changed file with 74 additions and 0 deletions.
diff --git a/tests/NativeIntersectionsTest.php b/tests/NativeIntersectionsTest.php
@@ -51,6 +51,64 @@ function test(A&B $in): void {
                 'ignored_issues' => [],
                 'php_version' => '8.1',
             ],
+            'nativeTypeIntersectionAsClassProperty' => [
+                'code' => '<?php
+                    interface A {}
+                    interface B {}
+                    class C implements A, B {}
+                    class D {
+                        private A&B $intersection;
+                        public function __construct()
+                        {
+                            $this->intersection = new C();
+                        }
+                    }
+                ',
+                'assertions' => [],
+                'ignored_issues' => [],
+                'php_version' => '8.1',
+            ],
+            'nativeTypeIntersectionAsClassPropertyUsingProcessedInterfaces' => [
+                'code' => '<?php
+                    interface A {}
+                    interface B {}
+                    class AB implements A, B {}
+                    class C {
+                        private A&B $other;
+                        public function __construct()
+                        {
+                            $this->other = new AB();
+                        }
+                    }
+                ',
+                'assertions' => [],
+                'ignored_issues' => [],
+                'php_version' => '8.1',
+            ],
+            'nativeTypeIntersectionAsClassPropertyUsingUnprocessedInterfaces' => [
+                'code' => '<?php
+                    class StringableJson implements \Stringable, \JsonSerializable {
+                        public function jsonSerialize(): array
+                        {
+                            return [];
+                        }
+                        public function __toString(): string
+                        {
+                            return json_encode($this);
+                        }
+                    }
+                    class C {
+                        private \Stringable&\JsonSerializable $other;
+                        public function __construct()
+                        {
+                            $this->other = new StringableJson();
+                        }
+                    }
+                ',
+                'assertions' => [],
+                'ignored_issues' => [],
+                'php_version' => '8.1',
+            ],
         ];
     }
 
@@ -136,6 +194,22 @@ function foo (A&B $test): A&B {
                 'ignored_issues' => [],
                 'php_version' => '8.0',
             ],
+            'nativeTypeIntersectionAsClassPropertyUsingUnknownInterfaces' => [
+                'code' => '<?php
+                    class C {
+                        private \Example\Unknown\A&\Example\Unknown\B $other;
+                        public function __construct()
+                        {
+                            $this->other = new \Example\Unknown\AB();
+                        }
+                    }
+                ',
+                // @todo decide whether a fall-back should be implemented, that allows to by-pass this failure (opt-in config)
+                // `UndefinedClass - src/somefile.php:3:33 - Class, interface or enum named Example\Unknown\B does not exist`
+                'error_message' => 'UndefinedClass',
+                'ignored_issues' => [],
+                'php_version' => '8.1',
+            ],
         ];
     }
 }