Resolution types drop urls under specific circumstances

[konstin]

Summary

The problem: The fields below (and the subsequent petgraph code) are missing the url, so we can't tell apart edges that are only different by their url, but equal by package name and version. This means in specific cases like the one in the section below we drop a marker and install the wrong package.

uv/crates/uv-resolver/src/resolver/mod.rs

Lines 2375 to 2380 in 5a23f05

	pub(crate) from_version: Version,
	pub(crate) from_extra: Option<ExtraName>,
	pub(crate) from_dev: Option<GroupName>,
	pub(crate) to_version: Version,
	pub(crate) to_extra: Option<ExtraName>,
	pub(crate) to_dev: Option<GroupName>,

Reproduction

Create two dependency edges in two different forks that have the same starting package name and version and the same target package name and version, but are different in their url.

[project]
name = "a3"
version = "0.1.0"
description = "Add your description here"
readme = "README.md"
requires-python = ">=3.10"
dependencies = [
  "a @ file:///home/ferris/projects/uv/debug/a1 ; python_version >='3.11'",
  "a @ file:///home/ferris/projects/uv/debug/a2 ; python_version <'3.11'"
]

[build-system]
requires = ["hatchling"]
build-backend = "hatchling.build"

[tool.hatch.metadata]
allow-direct-references = true

/home/ferris/projects/uv/debug/a1:

[project]
name = "a"
version = "0.1.0"
description = "Add your description here"
readme = "README.md"
dependencies = [
    "anyio==4.3.0",
]

[tool.uv]
dev-dependencies = []

[build-system]
requires = ["hatchling"]
build-backend = "hatchling.build"

/home/ferris/projects/uv/debug/a2:

[project]
name = "a"
version = "0.1.0"
description = "Add your description here"
readme = "README.md"
dependencies = [
    "anyio==4.4.0",
]

[tool.uv]
dev-dependencies = []

[build-system]
requires = ["hatchling"]
build-backend = "hatchling.build"

In the lockfile, we're indeed missing the marker:

[[distribution]]
name = "a"
version = "0.1.0"
source = { directory = "/home/konsti/projects/uv/debug/a1" }
dependencies = [
    { name = "anyio", version = "4.3.0", source = { registry = "https://pypi.org/simple" } },
    { name = "anyio", version = "4.4.0", source = { registry = "https://pypi.org/simple" } },
]

Instead of respecting the markers, we always install a3 and anyio==4.4.0 for python 3.10-3.12.

[charliermarsh]

Thanks, makes sense.