add test for #9496

vimeo · Mar 12, 2023 · aefb932 · aefb932
1 parent 44ffd5f
commit aefb932
Showing 1 changed file with 82 additions and 0 deletions.
diff --git a/tests/TypeAnnotationTest.php b/tests/TypeAnnotationTest.php
@@ -653,6 +653,88 @@ public function doStuff(): array {
                     '$output===' => 'list<1|2>',
                 ],
             ],
+            'callableWithReturnTypeTypeAliasWithinBackets' => [
+                'code' => '<?php
+                    /** @psalm-type TCallback (callable():int) */
+                    class Foo {
+                        /** @psalm-var TCallback */
+                        public static callable $callback;
+                    }
+                    $output = Foo::$callback;
+                ',
+                'assertions' => [
+                    '$output===' => 'callable():int',
+                ],
+            ],
+            'callableWithReturnTypeTypeAlias' => [
+                'code' => '<?php
+                    /** @psalm-type TCallback callable():int */
+                    class Foo {
+                        /** @psalm-var TCallback */
+                        public static callable $callback;
+                    }
+                    $output = Foo::$callback;
+                ',
+                'assertions' => [
+                    '$output===' => 'callable():int',
+                ],
+            ],
+            'unionOfStringsContainingBraceCharTypeAlias' => [
+                'code' => '<?php
+                    /** @psalm-type T \'{\'|\'}\' */
+                    class Foo {
+                        /** @psalm-var T */
+                        public static string $t;
+                    }
+                    $t = Foo::$t;
+                ',
+                'assertions' => [
+                    '$t===' => '\'{\'|\'}\'',
+                ],
+            ],
+            'unionOfStringsContainingGTCharTypeAlias' => [
+                'code' => '<?php
+                    /** @psalm-type T \'<\'|\'>\' */
+                    class Foo {
+                        /** @psalm-var T */
+                        public static string $t;
+                    }
+                    $t = Foo::$t;
+                ',
+                'assertions' => [
+                    '$t===' => '\'<\'|\'>\'',
+                ],
+            ],
+            'unionOfStringsContainingBracketCharTypeAlias' => [
+                'code' => '<?php
+                    /** @psalm-type T \'(\'|\')\' */
+                    class Foo {
+                        /** @psalm-var T */
+                        public static string $t;
+                    }
+                    $t = Foo::$t;
+                ',
+                'assertions' => [
+                    '$t===' => '\'(\'|\')\'',
+                ],
+            ],
+            'handlesFreeTextAfterTypeAlias' => [
+                'code' => '<?php
+                    /**
+                     * @psalm-type T string
+                     *
+                     * Lorem ipsum.
+                     */
+                    class Foo {
+                        /** @psalm-var T */
+                        public static string $t;
+                    }
+                    $t = Foo::$t;
+                ',
+                'assertions' => [
+                    '$t===' => 'string',
+                ],
+            ],
             'handlesTypeWhichEndsWithRoundBracket' => [
                 'code' => '<?php
                     /**