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

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

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