function foo(string $s) {
	do {
		$result = (bool) rand(0,1);
	} while (!$result);

	/* HAKANA_FIXME[RedundantTruthinessCheck] Type true is always truthy */
	if ($result) {}
}