tests/crashes/136381.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

//@ 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;
}