Add test coverage for array_rand and count()-1 property access patterns

Addresses review feedback: the ExprPrinter changes for array_rand and
count()-1 special cases were not covered by tests. Adds test cases for
property access with array_rand() and count()-1 on non-empty arrays.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Author: 2 people

tests/PHPStan/Rules/Arrays/data/bug-14390.php

@@ -52,4 +52,43 @@ public function arrayKeyLast(
 			echo $sample->fields[array_key_last($sample->fields)];
 		}
 	}
+
+	public function arrayRand(
+		Sample $sample,
+	): void {
+		if ($sample->fields !== []) {
+			echo $sample->fields[array_rand($sample->fields)];
+		}
+	}
+
+	/**
+	 * @param non-empty-list<string> $list
+	 */
+	public function countMinus1(
+		array $list,
+	): void {
+		echo $list[count($list) - 1];
+	}
+}
+
+readonly class SampleList
+{
+	/**
+	 * @param list<string> $items
+	 */
+	public function __construct(
+		public array $items = [],
+	) {
+	}
+}
+
+class Bar
+{
+	public function countMinus1Property(
+		SampleList $sample,
+	): void {
+		if ($sample->items !== []) {
+			echo $sample->items[count($sample->items) - 1];
+		}
+	}
 }