phpstan-src/tests/PHPStan/Rules/Exceptions/data/bug-5952.php at 546a487d3ef92f59a91b9dc5d726fc3d8e0f3e19 · 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
<?php // lint >= 7.4

namespace Bug5952;

class Foo
{
	public function __toString(): string
	{
		throw new \Exception();
	}
}

$foo = new Foo();

try {
	echo $foo;
} catch (\Exception $e) {
	echo "Should be printed";
}

class Bar
{
	/** @throws \Exception */
	public function __toString(): string
	{
		throw new \Exception();
	}
}

$bar = new Bar();

try {
	echo $bar;
} catch (\Exception $e) {
	echo "Should be printed";
}

class Baz
{
	/** @throws void */
	public function __toString(): string
	{
		return 'hello';
	}
}

$baz = new Baz();

try {
	echo $baz;
} catch (\Exception $e) {
	echo "Should not be printed";
}

try {
	echo 123;
} catch (\Exception $e) {
	echo "Should not be printed";
}