Auto-implement Readable and Writable for all sequence::Constraint

src/syn/mod.rs

@@ -117,17 +117,6 @@ mod tests {
             }
         }
 
-        impl Writable for Whatever {
-            fn write<W: Writer>(&self, writer: &mut W) -> Result<(), <W as Writer>::Error> {
-                AsnDefWhatever::write_value(writer, self)
-            }
-        }
-        impl Readable for Whatever {
-            fn read<R: Reader>(reader: &mut R) -> Result<Self, <R as Reader>::Error> {
-                AsnDefWhatever::read_value(reader)
-            }
-        }
-
         #[derive(Default)]
         struct PrintlnWriter(usize);
 

src/syn/sequence.rs

@@ -1,4 +1,4 @@
-use crate::syn::{ReadableType, Reader, WritableType, Writer};
+use crate::syn::{Readable, ReadableType, Reader, Writable, WritableType, Writer};
 use core::marker::PhantomData;
 
 pub struct Sequence<T: Constraint>(PhantomData<T>);
@@ -43,3 +43,15 @@ where
         reader.read_sequence::<C, Self::Type, _>(C::read_seq)
     }
 }
+
+impl<C: Constraint> Writable for C {
+    fn write<W: Writer>(&self, writer: &mut W) -> Result<(), <W as Writer>::Error> {
+        Sequence::<C>::write_value(writer, self)
+    }
+}
+
+impl<C: Constraint> Readable for C {
+    fn read<R: Reader>(reader: &mut R) -> Result<Self, <R as Reader>::Error> {
+        Sequence::<C>::read_value(reader)
+    }
+}