Commit 9b9a23e

committed

fix

1 parent 23ec354 commit 9b9a23eCopy full SHA for 9b9a23e

File tree

+49

-0

lines changed

+49

-0

lines changed

Lines changed: 5 additions & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -14,6 +14,7 @@`
`14`	`14`	`use PHPStan\Type\Constant\ConstantIntegerType;`
`15`	`15`	`use PHPStan\Type\FunctionTypeSpecifyingExtension;`
`16`	`16`	`use PHPStan\Type\IntegerRangeType;`
	`17`	`+use PHPStan\Type\NeverType;`
`17`	`18`	`use function count;`
`18`	`19`	`use function in_array;`
`19`	`20`	`use function strtolower;`
`@@ -49,6 +50,10 @@ public function specifyTypes(FunctionReflection $functionReflection, FuncCall $n`
`49`	`50`	`}`
`50`	`51`
`51`	`52`	`$returnType = $context->getReturnType();`
	`53`	`+ if ($returnType instanceof NeverType) {`
	`54`	`+ return $this->typeSpecifier->create($args[0]->value, $returnType, $context->negate(), $scope);`
	`55`	`+ }`
	`56`	`+`
`52`	`57`	`if (`
`53`	`58`	`$context->true() && IntegerRangeType::createAllGreaterThanOrEqualTo(1)->isSuperTypeOf($returnType)->yes()`
`54`	`59`	`\|\| ($context->false() && (new ConstantIntegerType(0))->isSuperTypeOf($returnType)->yes())`

Lines changed: 44 additions & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,44 @@`
	`1`	`+<?php`
	`2`	`+`
	`3`	`+namespace StrlenNever;`
	`4`	`+`
	`5`	`+use function PHPStan\Testing\assertType;`
	`6`	`+`
	`7`	`+/**`
	`8`	`+ * @param non-empty-string $nonES`
	`9`	`+ * @param non-falsy-string $nonFalsy`
	`10`	`+ * @param numeric-string $numericString`
	`11`	`+ * @param lowercase-string $lower`
	`12`	`+ * @param uppercase-string $upper`
	`13`	`+ */`
	`14`	`+function doFoo(string $s, $nonES, $nonFalsy, $numericString, $lower, $upper) {`
	`15`	`+ if (strlen($s) <= 0) {`
	`16`	`+ assertType("''", $s);`
	`17`	`+ }`
	`18`	`+ if (strlen($nonES) <= 0) {`
	`19`	`+ assertType('NEVER', $nonES);`
	`20`	`+ }`
	`21`	`+ if (strlen($nonFalsy) <= 0) {`
	`22`	`+ assertType('NEVER', $nonFalsy);`
	`23`	`+ }`
	`24`	`+ if (strlen($numericString) <= 0) {`
	`25`	`+ assertType("NEVER", $numericString);`
	`26`	`+ }`
	`27`	`+ if (strlen($lower) <= 0) {`
	`28`	`+ assertType("''", $lower);`
	`29`	`+ }`
	`30`	`+ if (strlen($upper) <= 0) {`
	`31`	`+ assertType("''", $upper);`
	`32`	`+ }`
	`33`	`+}`
	`34`	`+`
	`35`	`+`
	`36`	`+function doBar(string $m): void`
	`37`	`+{`
	`38`	`+ if (strlen($m) >= 1) {`
	`39`	`+ if (strlen($m) <= 0) {`
	`40`	`+ assertType('NEVER', $m);`
	`41`	`+ }`
	`42`	`+ }`
	`43`	`+}`
	`44`	`+`

Comments

(0)