From 5ba422ce149141cc13fa8e57a447bdc446c699d8 Mon Sep 17 00:00:00 2001
From: John Williams <jrw@pobox.com>
Date: Wed, 8 Apr 2026 20:36:23 -0700
Subject: [PATCH] Fixed bug causing no arguments to be reported even when no
 shrinking occurs

---
 src/tester.rs | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/src/tester.rs b/src/tester.rs
index 0a45f9e..fa36673 100644
--- a/src/tester.rs
+++ b/src/tester.rs
@@ -375,7 +375,14 @@ impl<T: Testable,
         let ( $($name,)* ) = a.clone();
         let mut r = safe(move || {self_($($name),*)}).result(g);
 
+
         if r.is_failure() {
+            // Always retain the first failing arguments, even if shrink does not
+            // produce another failing candidate.
+            let t = a.clone();
+            let ($(ref $name,)*) : ($($name,)*) = t;
+            r.arguments = Some(debug_reprs(&[$($name),*]));
+
             let mut a = a.shrink();
             while let Some(t) = a.next() {
                 let ($($name,)*) = t.clone();