feat: add ArrayShapeDescriber for precise array shape documentation

[lacatoire]

Summary

• Add a dedicated ArrayShapeDescriber for Symfony's ArrayShapeType (7.3+) that generates OpenAPI object schemas with explicit properties, required fields, and additionalProperties based on the array shape definition
• Previously, ArrayShapeType was handled by DictionaryDescriber (since it extends CollectionType), producing only a generic object with additionalProperties — losing all shape information (property names, types, optionality)
• Exclude ArrayShapeType from DictionaryDescriber and ListDescriber to prevent incorrect handling
• Conditionally register the service only when ArrayShapeType class exists (Symfony 7.3+)

Example

For array{name: string, age: int, email?: string}, the describer now generates:

{
    "type": "object",
    "required": ["name", "age"],
    "properties": {
        "name": { "type": "string" },
        "age": { "type": "integer" },
        "email": { "type": "string" }
    },
    "additionalProperties": false
}

Closes #2675

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 95.70%. Comparing base (212d490) to head (1f7a3e8).
✅ All tests successful. No failed tests found.

Additional details and impacted files

@@            Coverage Diff             @@
##              5.x    #2696      +/-   ##
==========================================
+ Coverage   95.68%   95.70%   +0.02%     
==========================================
  Files          94       95       +1     
  Lines        3079     3097      +18     
==========================================
+ Hits         2946     2964      +18     
  Misses        133      133              

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.

[Copilot]

Pull request overview

Adds first-class OpenAPI schema generation for Symfony TypeInfo ArrayShapeType (Symfony 7.3+), so array-shape PHPDoc produces explicit object properties/required fields instead of a generic dictionary schema.

Changes:

• Introduce ArrayShapeDescriber to convert ArrayShapeType into an OpenAPI object schema with properties, required, and additionalProperties.
• Exclude ArrayShapeType from DictionaryDescriber and ListDescriber so it isn’t described as a generic collection.
• Add functional coverage (controller + entity + conditional test case) and conditionally register the describer service when ArrayShapeType exists.

Reviewed changes

Copilot reviewed 8 out of 8 changed files in this pull request and generated 3 comments.

Show a summary per file

File	Description
tests/Functional/Entity/ArrayShapeTypes.php	Adds an entity with array-shape PHPDoc to drive functional schema generation.
tests/Functional/ControllerTest.php	Adds a conditional functional test case for array-shape handling on Symfony 7.3+.
tests/Functional/Controller/ArrayShapeController.php	Adds a functional endpoint that returns a model using array-shape properties.
src/TypeDescriber/ListDescriber.php	Attempts to prevent list handling from matching ArrayShapeType.
src/TypeDescriber/DictionaryDescriber.php	Attempts to prevent dictionary handling from matching ArrayShapeType.
src/TypeDescriber/ArrayShapeDescriber.php	New describer implementing precise OpenAPI schema generation for ArrayShapeType.
phpstan-baseline.neon	Adds new PHPStan baseline entries related to ArrayShapeType availability/typing.
config/services.php	Conditionally registers the new describer service when ArrayShapeType is present.

[Copilot]

The instanceof Type\ArrayShapeType check will throw a runtime Error on Symfony versions where Symfony\\Component\\TypeInfo\\Type\\ArrayShapeType doesn't exist (because instanceof against a missing class is fatal). Use a safe check (e.g., class_exists(...) && is_a($type, 'Symfony\\Component\\TypeInfo\\Type\\ArrayShapeType')) or compare against a string class name to avoid hard-referencing a non-existent class.

Suggested change

	&& !$type instanceof Type\ArrayShapeType
	&& !(class_exists(Type\ArrayShapeType::class)
	&& is_a($type, Type\ArrayShapeType::class))

[Copilot]

The instanceof Type\ArrayShapeType exclusion is a runtime-fatal check when the ArrayShapeType class isn't present (Symfony < 7.3). Replace it with a guarded class_exists + is_a(...) check, or use the fully-qualified class name string, so the describer remains compatible across supported Symfony versions.

Suggested change

	&& !$type instanceof Type\ArrayShapeType
	&& (
	!class_exists(Type\ArrayShapeType::class)
	|| !is_a($type, Type\ArrayShapeType::class)
	)

[Copilot]

The new baseline entries for DictionaryDescriber/ListDescriber are currently required only because the code hard-references Symfony\\Component\\TypeInfo\\Type\\ArrayShapeType. Once the describers use a safe string-based/guarded check, these ignores should be removed to avoid permanently masking real analysis issues in those files.

Suggested change

	-
	message: '#^Class Symfony\\Component\\TypeInfo\\Type\\ArrayShapeType not found\.$#'
	identifier: class.notFound
	count: 1
	path: src/TypeDescriber/DictionaryDescriber.php
	-
	message: '#^Class Symfony\\Component\\TypeInfo\\Type\\ArrayShapeType not found\.$#'
	identifier: class.notFound
	count: 1
	path: src/TypeDescriber/ListDescriber.php