dont select forced nodes in lower_integers_together

HypothesisWorks · Jan 19, 2025 · d976c75 · d976c75
1 parent c3afc11
commit d976c75
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/hypothesis-python/src/hypothesis/internal/conjecture/shrinker.py b/hypothesis-python/src/hypothesis/internal/conjecture/shrinker.py
@@ -1370,7 +1370,8 @@ def lower_integers_together(self, chooser):
         node2 = self.nodes[
             chooser.choose(
                 range(node1.index + 1, min(len(self.nodes), node1.index + 3 + 1)),
-                lambda i: self.nodes[i].ir_type == "integer",
+                lambda i: self.nodes[i].ir_type == "integer"
+                and not self.nodes[i].was_forced,
             )
         ]