src/test/compile-fail/variance-types-bounds.rs

   1 // Copyright 2012 The Rust Project Developers. See the COPYRIGHT
   2 // file at the top-level directory of this distribution and at
   3 // http://rust-lang.org/COPYRIGHT.
   4 //
   5 // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
   6 // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
   7 // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
   8 // option. This file may not be copied, modified, or distributed
   9 // except according to those terms.
  10
  11 // Test that we correctly infer variance for type parameters in
  12 // various types and traits.
  13
  14 #![feature(rustc_attrs)]
  15
  16 #[rustc_variance]
  17 struct TestImm<A, B> { //~ ERROR [+, +]
  18     x: A,
  19     y: B,
  20 }
  21
  22 #[rustc_variance]
  23 struct TestMut<A, B:'static> { //~ ERROR [+, o]
  24     x: A,
  25     y: &'static mut B,
  26 }
  27
  28 #[rustc_variance]
  29 struct TestIndirect<A:'static, B:'static> { //~ ERROR [+, o]
  30     m: TestMut<A, B>
  31 }
  32
  33 #[rustc_variance]
  34 struct TestIndirect2<A:'static, B:'static> { //~ ERROR [o, o]
  35     n: TestMut<A, B>,
  36     m: TestMut<B, A>
  37 }
  38
  39 trait Getter<A> {
  40     fn get(&self) -> A;
  41 }
  42
  43 trait Setter<A> {
  44     fn set(&mut self, a: A);
  45 }
  46
  47 #[rustc_variance]
  48 struct TestObject<A, R> { //~ ERROR [o, o]
  49     n: Box<Setter<A>+Send>,
  50     m: Box<Getter<R>+Send>,
  51 }
  52
  53 fn main() {}