Read #[Generate] on closure parameters, with and without auto()

[rasuvaeff]

Fixes #61

Reads core's #[Generate] (rasuvaeff/property-testing-core#160) on the closure's parameters without auto too: the forAll() map and the attributes together must cover every parameter, through Gen::forParameters(derive: false). An uncovered parameter is refused naming it. Under auto nothing changes in the adapter; core reads the attribute between the forAll() map and the @param type.

Draft until core v1.2.0 is on Packagist — the constraint is now rasuvaeff/property-testing-core: ^1.2, so CI cannot resolve before the tag (rasuvaeff/property-testing-core#164).

Verified locally against the core branch through a path repository (version 1.2.0): validate, cs, psalm, tests, require-checker, rector — green. READMEs (EN/RU), llms.txt and CHANGELOG updated.

[coderabbitai]

Important

• 🔍 Trigger review

This repository does not receive automatic reviews because it has fewer than 10 stars.

⚙️ Run configuration

Configuration used: defaults

Review profile: CHILL

Plan: Advanced

Run ID: 70688eb4-487d-45d4-9aee-d64fdffa0b20

• Autopilot · Keep fixing CodeRabbit findings and required CI, and resolving merge conflicts

Autopilot is currently an internal CodeRabbit preview.

---

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Comment @coderabbitai help to get the list of available commands.}