Add support for bytemuck traits

Cargo.toml

@@ -14,10 +14,14 @@ exclude = ["/bors.toml", "/ci/*", "/.github/*"]
 edition = "2018"
 
 [package.metadata.docs.rs]
-features = ["std", "serde", "rand"]
+features = ["bytemuck", "std", "serde", "rand"]
 
 [dependencies]
 
+[dependencies.bytemuck]
+optional = true
+version = "1"
+
 [dependencies.num-traits]
 version = "0.2.11"
 default-features = false

ci/test_full.sh

@@ -27,7 +27,7 @@ if ! check_version $MSRV ; then
   exit 1
 fi
 
-FEATURES=(libm serde)
+FEATURES=(libm serde bytemuck)
 check_version 1.36 && FEATURES+=(rand)
 echo "Testing supported features: ${FEATURES[*]}"
 

src/lib.rs

@@ -592,6 +592,18 @@ impl<T: FloatCore> Complex<T> {
     }
 }
 
+/// Saftey: `Complex<T>` is `repr(C)` and contains only instances of `T`, so we
+/// can guarantee it contains no *added* padding. Thus, if `T: Zeroable`,
+/// `Complex<T>` is also `Zeroable`
+#[cfg(feature = "bytemuck")]
+unsafe impl<T: bytemuck::Zeroable> bytemuck::Zeroable for Complex<T> {}
+
+/// Saftey: `Complex<T>` is `repr(C)` and contains only instances of `T`, so we
+/// can guarantee it contains no *added* padding. Thus, if `T: Pod`,
+/// `Complex<T>` is also `Pod`
+#[cfg(feature = "bytemuck")]
+unsafe impl<T: bytemuck::Pod> bytemuck::Pod for Complex<T> {}
+
 impl<T: Clone + Num> From<T> for Complex<T> {
     #[inline]
     fn from(re: T) -> Self {