phpstan-src/tests/PHPStan/Analyser/nsrt/throw-points/php8/null-safe-method-call.php at 709ba5f92ae2d1ee96750b96cb11c798ec0bdf62 · phpstan-bot/phpstan-src · GitHub

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
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
<?php

namespace ThrowPoints\NullSafeMethodCall;

use PHPStan\TrinaryLogic;
use ThrowPoints\Helpers\ThrowPointTestObject;
use function PHPStan\Testing\assertVariableCertainty;
use function ThrowPoints\Helpers\doesntThrow;
use function ThrowPoints\Helpers\maybeThrows;

function () {
	$obj = new ThrowPointTestObject();
	try {
		$obj?->throws();
		$foo = 1;
	} finally {
		assertVariableCertainty(TrinaryLogic::createMaybe(), $foo);
	}
};

function () {
	$obj = new ThrowPointTestObject();
	try {
		$obj?->maybeThrows();
		$foo = 1;
	} finally {
		assertVariableCertainty(TrinaryLogic::createMaybe(), $foo);
	}
};

function () {
	$obj = new ThrowPointTestObject();
	try {
		$obj?->doesntThrow();
		$foo = 1;
	} finally {
		assertVariableCertainty(TrinaryLogic::createYes(), $foo);
	}
};

function () {
	try {
		doesntThrow()?->{$foo = 1}($bar = 2);
	} finally {
		// doesntThrow() returns mixed which can be null, so ?-> may short-circuit
		assertVariableCertainty(TrinaryLogic::createMaybe(), $foo);
		assertVariableCertainty(TrinaryLogic::createMaybe(), $bar);
	}
};

/**
 * @return object
 * @throws void
 */
function notNullableDoesntThrow(...$args)
{
}

function () {
	try {
		notNullableDoesntThrow()?->{$foo = 1}($bar = 2);
	} finally {
		// notNullableDoesntThrow() does not return null, so ?-> will not short-circuit
		assertVariableCertainty(TrinaryLogic::createYes(), $foo);
		assertVariableCertainty(TrinaryLogic::createYes(), $bar);
	}
};

function () {
	try {
		maybeThrows()?->{$foo = 1}($bar = 2);
	} finally {
		assertVariableCertainty(TrinaryLogic::createMaybe(), $foo);
		assertVariableCertainty(TrinaryLogic::createMaybe(), $bar);
	}
};

function () {
	$obj = new ThrowPointTestObject();
	try {
		$obj?->{doesntThrow()}($foo = 1);
	} finally {
		assertVariableCertainty(TrinaryLogic::createYes(), $foo);
	}
};

function () {
	$obj = new ThrowPointTestObject();
	try {
		$obj?->{maybeThrows()}($foo = 1);
	} finally {
		assertVariableCertainty(TrinaryLogic::createMaybe(), $foo);
	}
};

function () {
	$obj = new ThrowPointTestObject();
	try {
		$obj?->doesntThrow(doesntThrow(), $foo = 1);
	} finally {
		assertVariableCertainty(TrinaryLogic::createYes(), $foo);
	}
};

function () {
	$obj = new ThrowPointTestObject();
	try {
		$obj?->doesntThrow(maybeThrows(), $foo = 1);
	} finally {
		assertVariableCertainty(TrinaryLogic::createMaybe(), $foo);
	}
};