per php version expectations

Author: staabm

tests/PHPStan/Analyser/nsrt/bug-11518-types-php7.php

@@ -0,0 +1,23 @@
+<?php // lint < 8.0
+
+namespace Bug11518Types;
+
+use function PHPStan\Testing\assertType;
+
+/**
+ * @param mixed[] $a
+ * @return array{thing: mixed}
+ * */
+function blah(array $a): array
+{
+	if (!array_key_exists('thing', $a)) {
+		$a['thing'] = 'bla';
+		assertType('non-empty-array<mixed>&hasOffsetValue(\'thing\', \'bla\')', $a);
+	} else {
+		assertType('non-empty-array&hasOffset(\'thing\')', $a);
+	}
+
+	assertType('non-empty-array&hasOffsetValue(\'thing\', mixed)', $a);
+
+	return $a;
+}

tests/PHPStan/Analyser/nsrt/bug-11518-types.php

@@ -1,4 +1,4 @@
-<?php
+<?php // lint >= 8.0
 
 namespace Bug11518Types;
 
@@ -12,7 +12,7 @@ function blah(array $a): array
 {
 	if (!array_key_exists('thing', $a)) {
 		$a['thing'] = 'bla';
-		assertType('non-empty-array<mixed>&hasOffsetValue(\'thing\', \'bla\')', $a);
+		assertType('non-empty-array&hasOffsetValue(\'thing\', \'bla\')', $a);
 	} else {
 		assertType('non-empty-array&hasOffset(\'thing\')', $a);
 	}