选项相对于其参数类型是不变的？

问：

当我阅读 rfcs-0738-variance 时，我对“选项相对于其参数类型是不变的”感到困惑。我认为它应该是协变的。此外，rfcs 中的代码中没有编译错误，但 rfcs 指出应该有“ERROR： Cannot 推断适当的生存期”。 我很困惑。感谢您的帮助。

#[derive(Debug)]
struct List<'l> {
    field1: &'l i32,
    field2: Option<&'l i32>,
}

fn foo<'a>(field1: &i32, field2: Option<&i32>) {
    let list = List { field1: field1, field2: field2 };
    // ERROR: Cannot infer an appropriate lifetime
    println!("{:?}", list);
}

fn main() {
}

希望得到答案。我也希望得到你对方差的理解。