Remove unnecessary checks from CompressedEdwardsY::decompress()

Author: daxpedda

ed448-goldilocks/src/edwards/extended.rs

@@ -236,11 +236,10 @@ impl CompressedEdwardsY {
     ///
     /// Returns `None`:
     /// - if the input is not the \\(y\\)-coordinate of a curve point.
-    /// - if the input point is not on the curve.
     /// - if the input point has nonzero torsion component.
     pub fn decompress(&self) -> CtOption<EdwardsPoint> {
         self.decompress_unchecked()
-            .and_then(|pt| CtOption::new(pt, pt.is_on_curve() & pt.is_torsion_free()))
+            .and_then(|pt| CtOption::new(pt, pt.is_torsion_free()))
     }
 
     /// View this `CompressedEdwardsY` as an array of bytes.