src/test/ui/borrowck/borrowck-use-uninitialized-in-cast-trait.rs

   1 // Variation on `borrowck-use-uninitialized-in-cast` in which we do a
   2 // trait cast from an uninitialized source. Issue #20791.
   3
   4 trait Foo { fn dummy(&self) { } }
   5 impl Foo for i32 { }
   6
   7 fn main() {
   8     let x: &i32;
   9     let y = x as *const dyn Foo; //~ ERROR [E0381]
  10 }