From 77d7c9461dcd93eaa245be819dcbc1d271cfa3d0 Mon Sep 17 00:00:00 2001
From: tuqqu <artkurbidaev@gmail.com>
Date: Sun, 8 Oct 2023 19:59:16 +0200
Subject: [PATCH] Test cases for DuplicateProperty issue

---
 tests/ClassTest.php | 33 +++++++++++++++++++++++++++++++++
 1 file changed, 33 insertions(+)

diff --git a/tests/ClassTest.php b/tests/ClassTest.php
index 8c4d9ccbf15..a614050e9de 100644
--- a/tests/ClassTest.php
+++ b/tests/ClassTest.php
@@ -1436,6 +1436,39 @@ class BazClass implements InterFaceA, InterFaceB {}
                 'error_message' => 'InheritorViolation',
                 'ignored_issues' => [],
             ],
+            'duplicateInstanceProperties' => [
+                'code' => <<<'PHP'
+                    <?php
+                    class Foo {
+                        public mixed $bar;
+                        public int $bar;
+                    }
+                    PHP,
+                'error_message' => 'DuplicateProperty',
+                'ignored_issues' => [],
+            ],
+            'duplicateStaticProperties' => [
+                'code' => <<<'PHP'
+                    <?php
+                    class Foo {
+                        public static mixed $bar = null;
+                        public static string $bar = 'bar';
+                    }
+                    PHP,
+                'error_message' => 'DuplicateProperty',
+                'ignored_issues' => [],
+            ],
+            'duplicateMixedProperties' => [
+                'code' => <<<'PHP'
+                    <?php
+                    class Foo {
+                        public bool $bar = true;
+                        public static bool $bar = false;
+                    }
+                    PHP,
+                'error_message' => 'DuplicateProperty',
+                'ignored_issues' => [],
+            ],
         ];
     }
 }