src/test/ui/in-band-lifetimes/mismatched_trait_impl.rs

   1 #![allow(warnings)]
   2 #![feature(in_band_lifetimes)]
   3
   4 trait Get {
   5     fn foo(&self, x: &'a u32, y: &u32) -> &'a u32;
   6 }
   7
   8 impl Get for i32 {
   9     fn foo(&self, x: &u32, y: &'a u32) -> &'a u32 { //~ ERROR `impl` item signature doesn't match
  10         x //~ ERROR lifetime mismatch
  11     }
  12 }
  13
  14 fn main() {}