src/test/ui/variance/variance-types.stderr

   1 error[E0208]: [-, o, o]
   2   --> $DIR/variance-types.rs:10:1
   3    |
   4 LL | / struct InvariantMut<'a,A:'a,B:'a> {
   5 LL | |     t: &'a mut (A,B)
   6 LL | | }
   7    | |_^
   8
   9 error[E0208]: [o]
  10   --> $DIR/variance-types.rs:15:1
  11    |
  12 LL | / struct InvariantCell<A> {
  13 LL | |     t: Cell<A>
  14 LL | | }
  15    | |_^
  16
  17 error[E0208]: [o]
  18   --> $DIR/variance-types.rs:20:1
  19    |
  20 LL | / struct InvariantIndirect<A> {
  21 LL | |     t: InvariantCell<A>
  22 LL | | }
  23    | |_^
  24
  25 error[E0208]: [+]
  26   --> $DIR/variance-types.rs:25:1
  27    |
  28 LL | / struct Covariant<A> {
  29 LL | |     t: A, u: fn() -> A
  30 LL | | }
  31    | |_^
  32
  33 error[E0208]: [-]
  34   --> $DIR/variance-types.rs:30:1
  35    |
  36 LL | / struct Contravariant<A> {
  37 LL | |     t: fn(A)
  38 LL | | }
  39    | |_^
  40
  41 error[E0208]: [+, -, o]
  42   --> $DIR/variance-types.rs:35:1
  43    |
  44 LL | / enum Enum<A,B,C> {
  45 LL | |     Foo(Covariant<A>),
  46 LL | |     Bar(Contravariant<B>),
  47 LL | |     Zed(Covariant<C>,Contravariant<C>)
  48 LL | | }
  49    | |_^
  50
  51 error: aborting due to 6 previous errors
  52