Add a function to Equivalence for convenient conversion to a TestResult

`quickcheck` allows to skip tests (for given inputs) by returning a
`TestResult` indicating that it should be ignored. Naturally, an
`Equivalence` cannot express such an intent and neither can any other
`Testable`s other than functions and `TestResult` itself. Hence, if we
need the ability to skip tests, we need to return a `TestResult` or some
dependent type (e.g. `Result<TestResult>`) from our property function.

If we still want to make use of `Equivalence` in such tests, we need to
convert it to a `TestResult`. Previously, we had to resort to using
`Testable::result` with some dummy `&mut Gen`, even though it isn't even
used in the conversion. As a remedy, this change moves the conversion
into a dedicates function (with no additional parameters) which may be
called inside property functions.

Author: neithernut

src/tester.rs

@@ -353,6 +353,23 @@ where
     pub fn of(left: T, right: T) -> Self {
         Self(left, right)
     }
+
+    /// Create a `TestResult` reflecting this equivalence
+    ///
+    /// If the two values are equal, the returned `TestResult` will indicate
+    /// success, otherwise it will indicate failure and include a message
+    /// reflecting both values.
+    pub fn as_result(&self) -> TestResult {
+        let Self(l, r) = self;
+        if l == r {
+            TestResult::passed()
+        } else {
+            TestResult::error(format!(
+                "Missmatch! Left: '{:?}', Right: '{:?}'",
+                l, r
+            ))
+        }
+    }
 }
 
 /// `Testable` describes types (e.g., a function) whose values can be
@@ -393,14 +410,7 @@ where
     T: Debug + PartialEq + 'static,
 {
     fn result(&self, _: &mut Gen) -> TestResult {
-        if self.0 == self.1 {
-            TestResult::passed()
-        } else {
-            TestResult::error(format!(
-                "Missmatch! Left: '{:?}', Right: '{:?}'",
-                self.0, self.1
-            ))
-        }
+        self.as_result()
     }
 }