Add C# counterpart for Property.ignoreResult

Author: AlexeyRaga

src/Hedgehog/Linq/Property.fs

@@ -96,6 +96,26 @@ type PropertyExtensions private () =
     static member TryWith (property : Property<'T>, onError : Func<exn, Property<'T>>) : Property<'T> =
         Property.tryWith onError.Invoke property
 
+    /// <summary>
+    /// Discards the result of a property, converting it to <see cref="Property"/>.
+    /// This is useful when using assertion libraries that return non-unit types (e.g., fluent assertions).
+    /// Assertions that throw exceptions will still cause the property to fail.
+    /// </summary>
+    /// <param name="property">The property whose result should be ignored.</param>
+    /// <returns>A property that produces unit.</returns>
+    /// <example>
+    /// <code>
+    /// var property =
+    ///     from x in Gen.Int32(Range.Linear(0, 100)).ForAll()
+    ///     select x.Should().Be(42); // Returns IAssertion
+    /// 
+    /// property.IgnoreResult().Check(); // Convert to <see cref="Property"/> and run
+    /// </code>
+    /// </example>
+    [<Extension>]
+    static member IgnoreResult (property : Property<'T>) : Property =
+        property |> Property.ignoreResult |> Property
+
     [<Extension>]
     static member Report (property : Property) : Report =
         let (Property property) = property

tests/Hedgehog.Linq.Tests/LinqTests.cs

@@ -302,5 +302,42 @@ from subset in Gen.SubsetOf(distinctOriginal).ForAll()
 
             prop.Check();
         }
+
+        // Test record to simulate fluent assertion library
+        private record AssertionResult(bool Success);
+
+        private static AssertionResult ShouldBe(int expected, int actual)
+        {
+            if (actual == expected)
+                return new AssertionResult(true);
+            throw new Exception($"Expected {expected} but got {actual}");
+        }
+
+        [Fact]
+        public void IgnoreResult_ConvertsNonUnitPropertyToUnit()
+        {
+            var testRan = false;
+            var property =
+                from x in Gen.Int32(Range.Constant(42, 42)).ForAll()
+                let _ = testRan = true
+                select ShouldBe(42, x); // Returns AssertionResult, not unit
+
+            // Should compile and run
+            property.IgnoreResult().Check();
+            
+            Assert.True(testRan);
+        }
+
+        [Fact]
+        public void IgnoreResult_PreservesFailures()
+        {
+            var property =
+                from x in Gen.Int32(Range.Constant(42, 42)).ForAll()
+                select ShouldBe(99, x); // Will throw
+
+            var report = property.IgnoreResult().Report();
+            
+            Assert.True(report.Status.IsFailed);
+        }
     }
 }