phpstan-src/tests/PHPStan/Rules/Comparison/data/bug-11417.php at 5955b7aeaee6b426b291237efb1c67950a9a7d98 · 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
<?php

namespace Bug11417;

class Wrap {
	/**
	 * @param-immediately-invoked-callable $cb
	 */
	public static function run(callable $cb): void
	{
		$cb();
	}
}

class HelloWorld
{
	private ?string $conn = null;

	public function getConn(): string
	{
		if (!is_null($this->conn)) {
			return $this->conn;
		}

		Wrap::run(function() {
			$this->conn = "conn";
		});

		if (is_null($this->conn)) {
			throw new \Exception("conn failed");
		}

		return $this->conn;
	}

	public function disc(): void
	{
		$this->conn = null;
	}
}

class WrapLater {
	/**
	 * @param-later-invoked-callable $cb
	 */
	public static function run(callable $cb): void
	{
		$cb();
	}
}

class HelloWorldLater
{
	private ?string $conn = null;

	public function getConn(): string
	{
		if (!is_null($this->conn)) {
			return $this->conn;
		}

		WrapLater::run(function() {
			$this->conn = "conn";
		});

		if (is_null($this->conn)) {
			throw new \Exception("conn failed");
		}

		return $this->conn;
	}
}