Add test

Author: VincentLanglet

tests/PHPStan/Rules/Comparison/data/bug-13023.php

@@ -166,3 +166,25 @@ public function getRandom(): int
 		return $value * $value;
 	}
 }
+
+class SomeClass11
+{
+	use MyTrait6;
+}
+
+trait MyTrait6
+{
+	public function getBar(): array
+	{
+		return [];
+	}
+
+	public function getRandom(): int
+	{
+		if (!\is_int(count($this->getBar()))) {
+			return 1;
+		}
+
+		return 0;
+	}
+}