Add 79690

ices/79674.rs

@@ -13,7 +13,7 @@ impl<T> MiniTypeId for T {
 enum Lift<const V: bool> {}
 
 trait IsFalse {}
-impl IsFalse for Lift<false> {} 
+impl IsFalse for Lift<false> {}
 
 const fn is_same_type<T: MiniTypeId, U: MiniTypeId>() -> bool {
     T::TYPE_ID == U::TYPE_ID
@@ -25,4 +25,4 @@ fn requires_distinct<A, B>(_a: A, _b: B) where
 
 fn main() {
     requires_distinct("str", 12);
-}
+}

ices/79690.rs

@@ -0,0 +1,28 @@
+union Transmute<T: Copy, U: Copy> {
+    t: T,
+    u: U,
+}
+trait Bar {
+    fn bar(&self) -> u32;
+}
+struct Foo {
+    foo: u32,
+    bar: bool,
+}
+impl Bar for Foo {
+    fn bar(&self) -> u32 {
+        self.foo
+    }
+}
+#[derive(Copy, Clone)]
+struct Fat<'a>(&'a Foo, &'static VTable);
+struct VTable {
+    size: Foo,
+}
+const FOO: &Bar = &Foo {
+    foo: 128,
+    bar: false,
+};
+const G: Fat = unsafe { Transmute { t: FOO }.u };
+
+fn main() {}