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

   1 #![allow(warnings)]
   2 #![feature(in_band_lifetimes)]
   3
   4 fn foo(x: &'a u32, y: &u32) -> &'a u32 { y } //~ ERROR explicit lifetime required
   5
   6 fn foo2(x: &'a u32, y: &'b u32) -> &'a u32 { y } //~ ERROR lifetime mismatch
   7
   8 fn main() {}