src/test/ui/lifetimes/lifetime-errors/ex2b-push-no-existing-names.rs

struct Ref<'a, T: 'a> {
    data: &'a T
}

fn foo(x: &mut Vec<Ref<i32>>, y: Ref<i32>) {
    x.push(y); //~ ERROR lifetime mismatch
}

fn main() { }