src/test/ui/variance/variance-trait-object-bound.rs

   1 // Checks that regions which appear in a trait object type are
   2 // observed by the variance inference algorithm (and hence
   3 // `TOption` is contavariant w/r/t `'a` and not bivariant).
   4 //
   5 // Issue #18262.
   6
   7 #![feature(rustc_attrs)]
   8
   9 use std::mem;
  10
  11 trait T { fn foo(&self); }
  12
  13 #[rustc_variance]
  14 struct TOption<'a> { //~ ERROR [-]
  15     v: Option<Box<dyn T + 'a>>,
  16 }
  17
  18 fn main() { }