Add test for #133.

tests/run-pass/miri-issue-133.rs

@@ -0,0 +1,30 @@
+use std::mem::size_of;
+
+struct S<U, V> {
+    _u: U,
+    size_of_u: usize,
+    _v: V,
+    size_of_v: usize
+}
+
+impl<U, V> S<U, V> {
+    fn new(u: U, v: V) -> Self {
+        S {
+            _u: u,
+            size_of_u: size_of::<U>(),
+            _v: v,
+            size_of_v: size_of::<V>()
+        }
+    }
+}
+
+impl<V, U> Drop for S<U, V> {
+    fn drop(&mut self) {
+        assert_eq!(size_of::<U>(), self.size_of_u);
+        assert_eq!(size_of::<V>(), self.size_of_v);
+    }
+}
+
+fn main() {
+    S::new(0u8, 1u16);
+}