feature #52954 [Validator] Add list and associative_array types t…

…o `Type` constraint (Florian Hermann)

This PR was squashed before being merged into the 7.1 branch.

Discussion
----------

[Validator] Add `list` and `associative_array` types to `Type` constraint

| Q             | A
| ------------- | ---
| Branch?       | 7.1
| Bug fix?      | no
| New feature?  | yes
| Deprecations? | no
| Issues        | -
| License       | MIT

Hello!

This PR aims to add support for `list` type in the `Type`constraint.

This is done by using the *new* PHP 8.1 function `array_is_list`, after checking that the value is an array with `is_array` function.

Here is an example of use:
```php
#[Assert\Type('list')]
private $value;
```

I consider doing an other PR to add `associative_array` type aswell. Or if you think it's ok, I can also add it in an other commit on this one.

--- UPDATE

After fabpot comment, I added an other commit to support `associative_array` type aswell :
```php
#[Assert\Type('associative_array')]
private $value;
```
An `associative_array` is an array that is not a list. Moreover, this means that an empty array will not be considered as an `associative_array`.

Best regards

Commits
-------

5ab4068 [Validator] Add `list` and `associative_array` types to `Type` constraint

src/Symfony/Component/Validator/CHANGELOG.md

@@ -1,6 +1,11 @@
 CHANGELOG
 =========
 
+7.1
+---
+
+ * Add `list` and `associative_array` types to `Type` constraint
+
 7.0
 ---
 

src/Symfony/Component/Validator/Constraints/TypeValidator.php

@@ -36,6 +36,8 @@ class TypeValidator extends ConstraintValidator
         'string' => 'is_string',
         'scalar' => 'is_scalar',
         'array' => 'is_array',
+        'list' => 'is_array && array_is_list',
+        'associative_array' => 'is_array && !array_is_list',
         'iterable' => 'is_iterable',
         'countable' => 'is_countable',
         'callable' => 'is_callable',
@@ -73,6 +75,8 @@ public function validate(mixed $value, Constraint $constraint): void
                 'finite-float' => \is_float($value) && is_finite($value),
                 'finite-number' => \is_int($value) || \is_float($value) && is_finite($value),
                 'number' => \is_int($value) || \is_float($value) && !is_nan($value),
+                'list' => \is_array($value) && array_is_list($value),
+                'associative_array' => \is_array($value) && !array_is_list($value),
                 default => self::VALIDATION_FUNCTIONS[$type]($value),
             }) {
                 return;

src/Symfony/Component/Validator/Tests/Constraints/TypeValidatorTest.php

@@ -97,6 +97,10 @@ public static function getValidValues()
             [1.5, 'finite-number'],
             ['12345', 'string'],
             [[], 'array'],
+            [[], 'list'],
+            [[1, 2, 3], 'list'],
+            [['abc' => 1], 'associative_array'],
+            [[1 => 1], 'associative_array'],
             [$object, 'object'],
             [$object, 'stdClass'],
             [$file, 'resource'],
@@ -166,6 +170,12 @@ public static function getInvalidValues()
             [$file, 'float', 'resource'],
             [$file, 'string', 'resource'],
             [$file, 'object', 'resource'],
+            [[1 => 1], 'list', 'array'],
+            [['abc' => 1], 'list', 'array'],
+            ['abcd1', 'list', '"abcd1"'],
+            [[], 'associative_array', 'array'],
+            [[1, 2, 3], 'associative_array', 'array'],
+            ['abcd1', 'associative_array', '"abcd1"'],
             ['12a34', 'digit', '"12a34"'],
             ['1a#23', 'alnum', '"1a#23"'],
             ['abcd1', 'alpha', '"abcd1"'],