Tweak issue-79690 to trigger uncovered ICE (#625)

JohnTitor · web-flow · commit 69c6b2b51c17 · 2021-01-28T05:04:43.000+09:00
diff --git a/ices/79690.rs b/ices/79690.rs
@@ -3,14 +3,14 @@ union Transmute<T: Copy, U: Copy> {
     u: U,
 }
 trait Bar {
-    fn bar(&self) -> u32;
+    fn bar(&self) -> bool;
 }
 struct Foo {
-    foo: u32,
+    foo: bool,
     bar: bool,
 }
 impl Bar for Foo {
-    fn bar(&self) -> u32 {
+    fn bar(&self) -> bool {
         self.foo
     }
 }
@@ -20,7 +20,7 @@ struct VTable {
     size: Foo,
 }
 const FOO: &Bar = &Foo {
-    foo: 128,
+    foo: true,
     bar: false,
 };
 const G: Fat = unsafe { Transmute { t: FOO }.u };

Original file line number	Diff line number	Diff line change
`@@ -3,14 +3,14 @@ union Transmute<T: Copy, U: Copy> {`
`3`	`3`	`u: U,`
`4`	`4`	`}`
`5`	`5`	`trait Bar {`
`6`		`- fn bar(&self) -> u32;`
	`6`	`+ fn bar(&self) -> bool;`
`7`	`7`	`}`
`8`	`8`	`struct Foo {`
`9`		`- foo: u32,`
	`9`	`+ foo: bool,`
`10`	`10`	`bar: bool,`
`11`	`11`	`}`
`12`	`12`	`impl Bar for Foo {`
`13`		`- fn bar(&self) -> u32 {`
	`13`	`+ fn bar(&self) -> bool {`
`14`	`14`	`self.foo`
`15`	`15`	`}`
`16`	`16`	`}`
`@@ -20,7 +20,7 @@ struct VTable {`
`20`	`20`	`size: Foo,`
`21`	`21`	`}`
`22`	`22`	`const FOO: &Bar = &Foo {`
`23`		`- foo: 128,`
	`23`	`+ foo: true,`
`24`	`24`	`bar: false,`
`25`	`25`	`};`
`26`	`26`	`const G: Fat = unsafe { Transmute { t: FOO }.u };`