about summary refs log tree commit diff
path: root/tests/ui/borrowck/borrowck-use-uninitialized-in-cast-trait.fixed
blob: f6ea5f0b6b8d7fb7a692923aca92412b3e3eab25 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
// Variation on `borrowck-use-uninitialized-in-cast` in which we do a
// trait cast from an uninitialized source. Issue #20791.
//@ run-rustfix
#![allow(unused_variables, dead_code)]

trait Foo { fn dummy(&self) { } }
impl Foo for i32 { }

fn main() {
    let x: &i32 = &42;
    let y = x as *const dyn Foo; //~ ERROR [E0381]
}