Switch TSingleLetter to extend TNonEmptyString instead of TString as …

…it is more precise
vimeo · Apr 19, 2023 · 1341c03 · 1341c03
1 parent 958eb5a
commit 1341c03
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 1 deletion.
diff --git a/src/Psalm/Type/Atomic/TSingleLetter.php b/src/Psalm/Type/Atomic/TSingleLetter.php
@@ -7,6 +7,6 @@
  *
  * @psalm-immutable
  */
-final class TSingleLetter extends TString
+final class TSingleLetter extends TNonEmptyString
 {
 }
diff --git a/tests/ArrayAccessTest.php b/tests/ArrayAccessTest.php
@@ -524,6 +524,15 @@ function bar (array $a): void {
                         }
                     }',
             ],
+            'nonEmptyStringAccess' => [
+                'code' => '<?php
+                    /** @var non-empty-string $a */
+                    $a = "blah";
+                    $b = $a[0];',
+                'assertions' => [
+                    '$b===' => 'non-empty-string'
+                ]
+            ],
             'notEmptyStringOffset' => [
                 'code' => '<?php
                     /**