Narrow type

Author: sebastianbergmann

tests/static-analysis/TestUsingCallbacks.php

@@ -27,11 +27,16 @@ public function testWillSayHelloAndCheckCallbackInput(): void
         $mock
             ->expects(self::once())
             ->method('hey')
-            ->with(self::callback(static function (string $input): bool {
-                self::assertStringContainsString('Joe', $input);
-
-                return true;
-            }))
+            ->with(
+                self::callback(
+                    /** @psalm-param non-empty-string $input */
+                    static function (string $input): bool {
+                        self::assertStringContainsString('Joe', $input);
+
+                        return true;
+                    }
+                )
+            )
             ->willReturn('Hey Joe!');
 
         self::assertSame('Hey Joe!', $mock->hey('Joe'));