/
native-expressions.php
56 lines (48 loc) · 1.18 KB
/
native-expressions.php
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
<?php
namespace NativeExpressions;
use function PHPStan\Testing\assertType;
use function PHPStan\Testing\assertNativeType;
function doFoo(): string
{
}
function (): void {
/** @var non-empty-string $a */
$a = doFoo();
assertType('non-empty-string', $a);
assertNativeType('mixed', $a); // could be fixed
};
/**
* @param positive-int|non-empty-string $a
*/
function foo(int|string $a): void
{
assertType('int<1, max>|non-empty-string', $a);
assertNativeType('int|string', $a);
if (is_string($a)) {
assertType('non-empty-string', $a);
assertNativeType('string', $a);
}
}
class Foo{
public function __construct(
/** @var non-empty-array<mixed> */
private array $array
){
assertType('non-empty-array', $this->array);
assertNativeType('non-empty-array', $this->array); // could be fixed issue https://github.com/phpstan/phpstan/issues/6260
if(count($array) === 0){
throw new \InvalidArgumentException();
}
}
/**
* @param array{a: 'b'} $a
* @return void
*/
public function doUnset(array $a){
assertType("array{a: 'b'}", $a);
assertNativeType('array', $a);
unset($a['a']);
assertType("array{}", $a);
assertNativeType("array<mixed~'a', mixed>", $a);
}
}