test for interestingly aligned field access

Author: RalfJung

tests/run-pass/issue-53728.rs

@@ -0,0 +1,16 @@
+#![allow(dead_code)]
+
+#[repr(u16)]
+enum DeviceKind {
+    Nil = 0,
+}
+#[repr(packed)]
+struct DeviceInfo {
+    endianness: u8,
+    device_kind: DeviceKind,
+}
+fn main() {
+    let _x = None::<(DeviceInfo, u8)>;
+    let _y = None::<(DeviceInfo, u16)>;
+    let _z = None::<(DeviceInfo, u64)>;
+}