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

   1 // Copyright 2014 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 #![deny(bivariance)]
  12 #![allow(dead_code)]
  13 #![feature(rustc_attrs)]
  14
  15 use std::cell::Cell;
  16
  17 // Check that a type parameter which is only used in a trait bound is
  18 // not considered bivariant.
  19
  20 #[rustc_variance]
  21 struct InvariantMut<'a,A:'a,B:'a> { //~ ERROR types=[[o, o];[];[]], regions=[[-];[];[]]
  22     t: &'a mut (A,B)
  23 }
  24
  25 #[rustc_variance]
  26 struct InvariantCell<A> { //~ ERROR types=[[o];[];[]]
  27     t: Cell<A>
  28 }
  29
  30 #[rustc_variance]
  31 struct InvariantIndirect<A> { //~ ERROR types=[[o];[];[]]
  32     t: InvariantCell<A>
  33 }
  34
  35 #[rustc_variance]
  36 struct Covariant<A> { //~ ERROR types=[[+];[];[]]
  37     t: A, u: fn() -> A
  38 }
  39
  40 #[rustc_variance]
  41 struct Contravariant<A> { //~ ERROR types=[[-];[];[]]
  42     t: fn(A)
  43 }
  44
  45 #[rustc_variance]
  46 enum Enum<A,B,C> { //~ ERROR types=[[+, -, o];[];[]]
  47     Foo(Covariant<A>),
  48     Bar(Contravariant<B>),
  49     Zed(Covariant<C>,Contravariant<C>)
  50 }
  51
  52 pub fn main() { }