bug-6672.php

<?php declare(strict_types = 1);

namespace Bug6672;

use function PHPStan\Testing\assertType;

function foo(int $a, ?int $b, int $c, ?int $d, ?int $e): void
{
	if ($a > 17) {
		assertType('int<18, max>', $a);
	}

	if ($b > 17 || $b === null) {
		assertType('int<18, max>|null', $b);
	}

	if ($c < 17) {
		assertType('int<min, 16>', $c);
	}

	if ($d < 17 || $d === null) {
		assertType('int<min, 16>|null', $d);
	}

	if ($e >= 17 && $e <= 19 || $e === null) {
		assertType('int<17, 19>|null', $e);
	}
}