From 20c652757cb26f1747e1f3a6949c42855dac1783 Mon Sep 17 00:00:00 2001
From: Charlie Marsh <charlie.r.marsh@gmail.com>
Date: Fri, 12 Dec 2025 21:58:35 -0500
Subject: [PATCH] Avoid allowing package-versions with no wheels in supported
 environments

---
 crates/uv-resolver/src/resolver/mod.rs | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/crates/uv-resolver/src/resolver/mod.rs b/crates/uv-resolver/src/resolver/mod.rs
index bb75f5b00..45b6984a0 100644
--- a/crates/uv-resolver/src/resolver/mod.rs
+++ b/crates/uv-resolver/src/resolver/mod.rs
@@ -1468,6 +1468,20 @@ impl<InstalledPackages: InstalledPackagesProvider> ResolverState<InstalledPackag
             return Ok(None);
         }
 
+        // If the distribution doesn't have any wheels for the current environment, mark it as
+        // unavailable. For example, if the user is solving for `sys_platform == 'darwin'` and the
+        // package only has Windows wheels, the package should be marked as unavailable.
+        if !env.included_by_marker(dist.implied_markers()) {
+            return Ok(Some(ResolverVersion::Unavailable(
+                candidate.version().clone(),
+                UnavailableVersion::IncompatibleDist(IncompatibleDist::Wheel(
+                    IncompatibleWheel::MissingPlatform(
+                        env.fork_markers().unwrap_or(MarkerTree::TRUE),
+                    ),
+                )),
+            )));
+        }
+
         // If the user explicitly marked a platform as required, ensure it has coverage.
         for marker in self.options.required_environments.iter().copied() {
             // If the platform is part of the current environment...