Intersection of array&hasOffset is accepted by non-empty-array

[staabm]

closes phpstan/phpstan#13964

[staabm]

hmm alternatively it could be the other way arround. adding non-empty-array to the array when array_key_exists()

[staabm]

stumbled over #3937 today .. need to have another look

ok, I think its fine.

[phpstan-bot]

This pull request has been marked as ready for review.

[ondrejmirtes]

I don't understand this. All Accessory types do this. So it has to stay.

But you can do another condition before this one, like AccessoryNonEmptyStringType does:

	public function accepts(Type $type, bool $strictTypes): AcceptsResult
	{
		if ($type->isNonEmptyString()->yes()) {
			return AcceptsResult::createYes();
		}
		if ($type instanceof CompoundType) {
			return $type->isAcceptedBy($this, $strictTypes);
		}

		return new AcceptsResult($type->isNonEmptyString(), []);
	}

You can also try doing the same thing (call related method before instanceof CompoundType) in other Accessory types so they all still look the same..