代码希望将x和y约束为相同的生存期，并使用了一个函数来实现这一点。但是，当删除y时，编译器不会出错。这是否意味着，无论函数返回值如何，生存期边界在函数参数之间都不起作用？

static S: String = String::new();

// `x` and `y` have the same lifetime
fn foo<'a>(x: &'a String, y: &'a String) -> &'static String {
    if x == y {
        &S
    } else {
        &S
    }
}

fn main() {
    let z;
    let x = &"x".to_string();
    {
        let y = &"y".to_string();
        z = foo(x, y);
    } // drops `y`
    dbg!(x);
    dbg!(z);
}