From 5c885e2f43a67de872da861c07285e7c062fcfc2 Mon Sep 17 00:00:00 2001
From: konstin <konstin@mailbox.org>
Date: Wed, 11 Dec 2024 12:17:06 +0100
Subject: [PATCH] Add wrong-backtracking scenario

Scenario for https://github.com/astral-sh/uv/issues/8157.

There are two packages, `a` and `b`. We select `a` with `a==2.0.0` first, and then `b`, but `a==2.0.0` conflicts with all new versions of `b`, so we backtrack through versions of `b`.

We need to detect this conflict and prioritize `b` over `a` instead of backtracking down to the too old version of `b==1.0.0` that doesn't depend on `a` anymore.
---
 .../wrong-backtracking-basic.toml             | 38 +++++++++++++++++++
 1 file changed, 38 insertions(+)
 create mode 100644 scenarios/backtracking/wrong-backtracking-basic.toml

diff --git a/scenarios/backtracking/wrong-backtracking-basic.toml b/scenarios/backtracking/wrong-backtracking-basic.toml
new file mode 100644
index 00000000..f1705e5a
--- /dev/null
+++ b/scenarios/backtracking/wrong-backtracking-basic.toml
@@ -0,0 +1,38 @@
+name = "wrong-backtracking-basic"
+description = """There are two packages, `a` and `b`. We select `a` with `a==2.0.0` first, and then `b`, but `a==2.0.0` conflicts with all new versions of `b`, so we backtrack through versions of `b`.
+
+We need to detect this conflict and prioritize `b` over `a` instead of backtracking down to the too old version of `b==1.0.0` that doesn't depend on `a` anymore."""
+
+[expected]
+satisfiable = true
+
+[resolver_options]
+universal = true
+
+[expected.packages]
+a = "1.0.0"
+b = "2.0.9"
+
+[root]
+requires = ["a", "b"]
+
+[packages.a.versions]
+"1.0.0" = {}
+"2.0.0" = {}
+
+[packages.too-old.versions]
+"1.0.0" = {}
+
+[packages.b.versions]
+# We must not backtrack to this very old versions
+"1.0.0" = { requires = ["too-old"] }
+"2.0.0" = { requires = ["a==1.0.0"] }
+"2.0.1" = { requires = ["a==1.0.0"] }
+"2.0.2" = { requires = ["a==1.0.0"] }
+"2.0.3" = { requires = ["a==1.0.0"] }
+"2.0.4" = { requires = ["a==1.0.0"] }
+"2.0.5" = { requires = ["a==1.0.0"] }
+"2.0.6" = { requires = ["a==1.0.0"] }
+"2.0.7" = { requires = ["a==1.0.0"] }
+"2.0.8" = { requires = ["a==1.0.0"] }
+"2.0.9" = { requires = ["a==1.0.0"] }