Add static assertions to ensure Quantity implements appropriate marke…

…r traits.

Assert that Quantity implements `Clone`, `Copy`, `Send`, `Sync`, and
`hash::Hash` as appropriate based on the underlying storage type.

Closes #29.

Cargo.toml

@@ -25,8 +25,9 @@ num = "0.1"
 typenum = "1.9.0"
 
 [dev-dependencies]
-quickcheck = "0.5.0"
 approx = "0.1.1"
+quickcheck = "0.5.0"
+static_assertions = "0.2.5"
 
 [features]
 default = ["f32", "f64", "si", "std"]

src/lib.rs

@@ -165,6 +165,9 @@ extern crate approx;
 #[cfg(test)]
 #[macro_use]
 extern crate quickcheck;
+#[cfg(test)]
+#[macro_use]
+extern crate static_assertions;
 
 // Conditionally import `core` or `std` based on feature selection.
 #[doc(hidden)]

src/tests.rs

@@ -998,3 +998,35 @@ mod quantities_macro {
         }
     }
 }
+
+mod static_checks {
+    storage_types! {
+        types: Float;
+
+        use tests::*;
+
+        assert_impl!(q; Quantity<Q<Z0, Z0>, U<V>, V>, Clone, Copy, Send, Sync);
+    }
+
+    storage_types! {
+        types: PrimInt, Rational, Rational32, Rational64;
+
+        use tests::*;
+
+        #[cfg(feature = "std")]
+        assert_impl!(q; Quantity<Q<Z0, Z0>, U<V>, V>, Clone, Copy, Send, Sync, ::lib::hash::Hash);
+        #[cfg(not(feature = "std"))]
+        assert_impl!(q; Quantity<Q<Z0, Z0>, U<V>, V>, Clone, Copy, Send, Sync, ::lib::hash::Hash);
+    }
+
+    storage_types! {
+        types: BigInt, BigUint, BigRational;
+
+        use tests::*;
+
+        #[cfg(feature = "std")]
+        assert_impl!(q; Quantity<Q<Z0, Z0>, U<V>, V>, Clone, Send, Sync, ::lib::hash::Hash);
+        #[cfg(not(feature = "std"))]
+        assert_impl!(q; Quantity<Q<Z0, Z0>, U<V>, V>, Clone, Send, Sync, ::lib::hash::Hash);
+    }
+}