| //@ known-bug: #136381 | |
| //@ compile-flags: -Zvalidate-mir -Zmir-enable-passes=+GVN | |
| #![feature(trait_upcasting)] | |
| trait A {} | |
| trait B: A { | |
| fn c(&self); | |
| } | |
| impl B for i32 { | |
| fn c(self) { | |
| todo!(); | |
| } | |
| } | |
| fn main() { | |
| let baz: &dyn B = &1; | |
| let bar: &dyn A = baz; | |
| } |