src/test/ui/variance/variance-cell-is-invariant.rs

   1 // Test that Cell is considered invariant with respect to its
   2 // type.
   3
   4 use std::cell::Cell;
   5
   6 struct Foo<'a> {
   7     x: Cell<Option<&'a isize>>,
   8 }
   9
  10 fn use_<'short,'long>(c: Foo<'short>,
  11                       s: &'short isize,
  12                       l: &'long isize,
  13                       _where:Option<&'short &'long ()>) {
  14     let _: Foo<'long> = c; //~ ERROR E0623
  15 }
  16
  17 fn main() {
  18 }