From 950855877aa489c91458ef88cce31fcc07c8747c Mon Sep 17 00:00:00 2001
From: Charlie Marsh <charlie.r.marsh@gmail.com>
Date: Fri, 29 Nov 2024 14:25:43 -0500
Subject: [PATCH] Use constraints in trace rather than irrelevant
 requires-python (#9529)

---
 crates/uv-resolver/src/resolver/mod.rs | 25 +++++++++++++++++++------
 1 file changed, 19 insertions(+), 6 deletions(-)

diff --git a/crates/uv-resolver/src/resolver/mod.rs b/crates/uv-resolver/src/resolver/mod.rs
index c6154d2b7ecc..d8c312530ddd 100644
--- a/crates/uv-resolver/src/resolver/mod.rs
+++ b/crates/uv-resolver/src/resolver/mod.rs
@@ -1753,6 +1753,15 @@ impl<InstalledPackages: InstalledPackagesProvider> ResolverState<InstalledPackag
                                     let mut marker = constraint.marker.clone();
                                     marker.and(requirement.marker.clone());
 
+                                    if marker.is_false() {
+                                        trace!(
+                                            "skipping {constraint} because of disjoint markers: `{}` vs. `{}`",
+                                            constraint.marker.try_to_string().unwrap(),
+                                            requirement.marker.try_to_string().unwrap(),
+                                        );
+                                        return None;
+                                    }
+
                                     Cow::Owned(Requirement {
                                         name: constraint.name.clone(),
                                         extras: constraint.extras.clone(),
@@ -1768,17 +1777,21 @@ impl<InstalledPackages: InstalledPackagesProvider> ResolverState<InstalledPackag
                                 let mut marker = constraint.marker.clone();
                                 marker.and(requirement.marker.clone());
 
-                                // Additionally, if the requirement is `requests ; sys_platform == 'darwin'`
-                                // and the constraint is `requests ; python_version == '3.6'`, the
-                                // constraint should only apply when _both_ markers are true.
                                 if marker.is_false() {
-                                    trace!("skipping {constraint} because of Requires-Python: {requires_python}");
+                                    trace!(
+                                        "skipping {constraint} because of disjoint markers: `{}` vs. `{}`",
+                                        constraint.marker.try_to_string().unwrap(),
+                                        requirement.marker.try_to_string().unwrap(),
+                                    );
                                     return None;
                                 }
+
+                                // Additionally, if the requirement is `requests ; sys_platform == 'darwin'`
+                                // and the constraint is `requests ; python_version == '3.6'`, the
+                                // constraint should only apply when _both_ markers are true.
                                 if python_marker.is_disjoint(&marker) {
                                     trace!(
-                                        "skipping constraint {requirement} because of Requires-Python: {requires_python}",
-                                        requires_python = python_requirement.target(),
+                                        "skipping constraint {requirement} because of Requires-Python: {requires_python}"
                                     );
                                     return None;
                                 }