diff options
| author | nsfisis <nsfisis@gmail.com> | 2026-05-03 11:17:02 +0900 |
|---|---|---|
| committer | nsfisis <nsfisis@gmail.com> | 2026-05-03 11:17:02 +0900 |
| commit | 489d00ca3f096f69f3b05f9564b23bb70a2475c7 (patch) | |
| tree | c8caf78fa618eb9971ea2f9680be5875d7b9a996 /crates/mozart/src/commands/require.rs | |
| parent | d175ff0aca312eafc1e125ba12a9b4e8cf81960a (diff) | |
| download | php-mozart-489d00ca3f096f69f3b05f9564b23bb70a2475c7.tar.gz php-mozart-489d00ca3f096f69f3b05f9564b23bb70a2475c7.tar.zst php-mozart-489d00ca3f096f69f3b05f9564b23bb70a2475c7.zip | |
fix(resolver): fail when a root require has no matching providers
Mirror Composer's `Solver::checkForRootRequireProblems`: a root require
that resolves to zero pool providers produces no SAT rule, so the
solver previously succeeded with an empty plan instead of reporting
the unresolvable requirement. `RuleSetGenerator::generate` now returns
those misses alongside the rule set, and `resolve()` short-circuits
into `ResolveError::NoSolution` so install/update exit with code 2 to
match Composer.
Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
Diffstat (limited to 'crates/mozart/src/commands/require.rs')
0 files changed, 0 insertions, 0 deletions