From b60cf8d9cb6776e5df85f080b5bb3fba252e154c Mon Sep 17 00:00:00 2001 From: nsfisis Date: Sat, 2 May 2026 22:59:23 +0900 Subject: fix(resolver): honor root self-provide/replace as require fulfilment Port Composer's RuleSetGenerator::createRequireRule self-fulfilling branch: when the root composer.json's `provide` or `replace` covers a name it also requires (with intersecting constraints), skip emitting an install-one-of rule for that root require. Composer relies on the root package being a fixed entry in the pool so whatProvides() includes it; Mozart does not yet add the root to the pool, so the same decision is made via explicit `root_provide` / `root_replace` tables threaded through ResolveRequest. Without this, an inline repo package whose name matches the root's provide was being force-installed. Fixes installer fixtures `provider_satisfies_its_own_requirement` and `replacer_satisfies_its_own_requirement`. --- crates/mozart-registry/src/lockfile.rs | 2 ++ 1 file changed, 2 insertions(+) (limited to 'crates/mozart-registry/src/lockfile.rs') diff --git a/crates/mozart-registry/src/lockfile.rs b/crates/mozart-registry/src/lockfile.rs index 045b189..99e87c8 100644 --- a/crates/mozart-registry/src/lockfile.rs +++ b/crates/mozart-registry/src/lockfile.rs @@ -1400,6 +1400,8 @@ mod tests { ))), temporary_constraints: HashMap::new(), raw_repositories: vec![], + root_provide: HashMap::new(), + root_replace: HashMap::new(), }; let resolved = resolve(&resolve_request) -- cgit v1.3.1