add test for #9496

vimeo · Mar 12, 2023 · b12ed07 · b12ed07
1 parent 44ffd5f
commit b12ed07
Showing 1 changed file with 26 additions and 0 deletions.
diff --git a/tests/TypeAnnotationTest.php b/tests/TypeAnnotationTest.php
@@ -653,6 +653,32 @@ public function doStuff(): array {
                     '$output===' => 'list<1|2>',
                 ],
             ],
+            'callableWithReturnTypeWithinParens' => [
+                'code' => '<?php
+                    /** @psalm-type TCallback (callable():int) */
+                    class Foo {
+                        /** @psalm-var TCallback */
+                        public static $callback;
+                    }
+                    $output = Foo::$callback;
+                ',
+                'assertions' => [
+                    '$output===' => 'callable():int',
+                ],
+            ],
+            'callableWithReturnTypeWithoutParens' => [
+                'code' => '<?php
+                    /** @psalm-type TCallback callable():int */
+                    class Foo {
+                        /** @psalm-var TCallback */
+                        public static $callback;
+                    }
+                    $output = Foo::$callback;
+                ',
+                'assertions' => [
+                    '$output===' => 'callable():int',
+                ],
+            ],
             'handlesTypeWhichEndsWithRoundBracket' => [
                 'code' => '<?php
                     /**