fix issue vimeo#6937

ptomulik · Nov 18, 2021 · 29234dc · 29234dc
1 parent 6097e02
commit 29234dc
Showing 1 changed file with 31 additions and 0 deletions.
diff --git a/tests/ReturnTypeTest.php b/tests/ReturnTypeTest.php
@@ -1002,6 +1002,37 @@ function a($end): void{
                         }
                     }'
             ],
+            'returnTypeOfAbstractAndConcreteMethodInSiblingTraits' => [
+                '<?php
+                    /** @template T */
+                    trait AggregateTrait {
+                        /** @var T */
+                        private $value;
+
+                        /** @psalm-return T */
+                        public function getValue() {
+                            return $this->value;
+                        }
+                    }
+
+                    /** @template T */
+                    trait AnotherTrait {
+                        /** @psalm-return T */
+                        abstract public function getValue();
+                    }
+
+                    class Test {
+                        /** @use AggregateTrait<int> */
+                        use AggregateTrait;
+
+                        /** @use AnotherTrait<int> */
+                        use AnotherTrait;
+
+                        public function __construct() {
+                            $this->value = 123;
+                        }
+                    }'
+            ]
         ];
     }