<?php declare(strict_types = 1);

use function PHPStan\dumpType;
use function PHPStan\Testing\assertType;

function test_strings(string $a, string $b): void
{
	if ($a !== '' && strtolower($a) === $a) {
		assertType('lowercase-string&non-empty-string', $a);
	} elseif ($a !== '' && strtolower($a) === $a) {
		assertType('non-empty-string&uppercase-string', $a);
	}

	if (strtolower($b) === $b && $b !== '') {
		assertType('lowercase-string&non-empty-string', $b);
	} elseif (strtoupper($b) === $b && $b !== '') {
		assertType('non-empty-string&uppercase-string', $b);
	}
}