danog/psalm
1
0
Fork 0
mirror of https://github.com/danog/psalm.git synced 2025-01-22 05:41:20 +01:00
Code Issues Projects Releases Wiki Activity

strlen can return positive-int (#5793)

Browse Source
This commit is contained in:
still-dreaming-1 2021-05-19 13:20:56 -06:00 committed by GitHub
parent bbbde2ffa1
commit ecb4ca8730
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 11 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
stubs/CoreGenericFunctions.phpstub
View File

@ -702,6 +702,17 @@ function htmlspecialchars(string $string, int $flags = ENT_COMPAT | ENT_HTML401,
*/
function htmlspecialchars_decode(string $string, ?int $quote_style = null) : string {}
/**
* @psalm-pure
*
* @psalm-return (
* $string is non-empty-string
* ? positive-int
* : int
* )
*/
function strlen(string $string) : int {}
/**
* @psalm-pure
*