src/test/run-pass/variance-intersection-of-ref-and-opt-ref.rs

   1 // Elaborated version of the opening example from RFC 738. This failed
   2 // to compile before variance because invariance of `Option` prevented
   3 // us from approximating the lifetimes of `field1` and `field2` to a
   4 // common intersection.
   5
   6 #![allow(dead_code)]
   7
   8 struct List<'l> {
   9     field1: &'l i32,
  10     field2: Option<&'l i32>,
  11 }
  12
  13 fn foo(field1: &i32, field2: Option<&i32>) -> i32 {
  14     let list = List { field1: field1, field2: field2 };
  15     *list.field1 + list.field2.cloned().unwrap_or(0)
  16 }
  17
  18 fn main() {
  19     let x = 22;
  20     let y = Some(3);
  21     let z = None;
  22     assert_eq!(foo(&x, y.as_ref()), 25);
  23     assert_eq!(foo(&x, z.as_ref()), 22);
  24 }