fn choose<'a>(x: &'a str, y: &'a str) -> &'a str 表达什么？

fn choose<'a>(x: &'a str, y: &'a str) -> &'a str 表达什么？

1. 两个输入必须在调用方选择、用于结果的区域内都有效。
2. 两个所有者必须在同一词法代码块内创建并销毁。
3. 标注会延长较短所有者，使它与较长所有者一致。
4. 结果保证来自 x。