Forward NONCONSUMPTION_IS_OK in IterParser implementations (#718)

* Added NONCONSUMPTION_IS_OK to IterParser implementations

* Fix NONCONSUMPTION_IS_OK for Flatten

---------

Co-authored-by: Jojakim Stahl <j.stahl@demig.de>

src/combinator.rs

@@ -92,6 +92,8 @@ where
     where
         I: 'src;
 
+    const NONCONSUMPTION_IS_OK: bool = A::NONCONSUMPTION_IS_OK;
+
     #[inline(always)]
     fn make_iter<M: Mode>(
         &self,
@@ -166,6 +168,8 @@ where
     where
         I: 'src;
 
+    const NONCONSUMPTION_IS_OK: bool = A::NONCONSUMPTION_IS_OK;
+
     fn make_iter<M: Mode>(
         &self,
         inp: &mut InputRef<'src, '_, I, E>,
@@ -310,6 +314,8 @@ where
     where
         I: 'src;
 
+    const NONCONSUMPTION_IS_OK: bool = A::NONCONSUMPTION_IS_OK;
+
     #[inline(always)]
     fn make_iter<M: Mode>(
         &self,
@@ -382,6 +388,8 @@ where
     where
         I: 'src;
 
+    const NONCONSUMPTION_IS_OK: bool = A::NONCONSUMPTION_IS_OK;
+
     #[inline(always)]
     fn make_iter<M: Mode>(
         &self,
@@ -461,6 +469,8 @@ where
     where
         I: 'src;
 
+    const NONCONSUMPTION_IS_OK: bool = A::NONCONSUMPTION_IS_OK;
+
     #[inline(always)]
     fn make_iter<M: Mode>(
         &self,
@@ -1057,6 +1067,8 @@ where
     where
         I: 'src;
 
+    const NONCONSUMPTION_IS_OK: bool = B::NONCONSUMPTION_IS_OK;
+
     #[inline(always)]
     fn make_iter<M: Mode>(
         &self,
@@ -1131,6 +1143,8 @@ where
     where
         I: 'src;
 
+    const NONCONSUMPTION_IS_OK: bool = B::NONCONSUMPTION_IS_OK;
+
     #[inline(always)]
     fn make_iter<M: Mode>(
         &self,
@@ -1881,6 +1895,8 @@ where
     where
         I: 'src;
 
+    const NONCONSUMPTION_IS_OK: bool = A::NONCONSUMPTION_IS_OK;
+
     #[inline(always)]
     fn make_iter<M: Mode>(
         &self,
@@ -2062,6 +2078,8 @@ where
 {
     type IterState<M: Mode> = bool;
 
+    const NONCONSUMPTION_IS_OK: bool = true;
+
     #[inline(always)]
     fn make_iter<M: Mode>(
         &self,
@@ -2177,6 +2195,11 @@ where
 {
     type IterState<M: Mode> = (A::IterState<M>, Option<M::Output<O::IntoIter>>);
 
+    // A::NONCONSUMPTION_IS_OK cannot be used because if we are iterating
+    // over O, we are not consuming any input (input has probably
+    // already been comsumed when constructing O)
+    const NONCONSUMPTION_IS_OK: bool = true;
+
     #[inline(always)]
     fn make_iter<M: Mode>(
         &self,