error[E0208]: [-, o, o]
  --> $DIR/variance-types.rs:10:1
   |
LL | / struct InvariantMut<'a,A:'a,B:'a> {
LL | |     t: &'a mut (A,B)
LL | | }
   | |_^

error[E0208]: [o]
  --> $DIR/variance-types.rs:15:1
   |
LL | / struct InvariantCell<A> {
LL | |     t: Cell<A>
LL | | }
   | |_^

error[E0208]: [o]
  --> $DIR/variance-types.rs:20:1
   |
LL | / struct InvariantIndirect<A> {
LL | |     t: InvariantCell<A>
LL | | }
   | |_^

error[E0208]: [+]
  --> $DIR/variance-types.rs:25:1
   |
LL | / struct Covariant<A> {
LL | |     t: A, u: fn() -> A
LL | | }
   | |_^

error[E0208]: [-]
  --> $DIR/variance-types.rs:30:1
   |
LL | / struct Contravariant<A> {
LL | |     t: fn(A)
LL | | }
   | |_^

error[E0208]: [+, -, o]
  --> $DIR/variance-types.rs:35:1
   |
LL | / enum Enum<A,B,C> {
LL | |     Foo(Covariant<A>),
LL | |     Bar(Contravariant<B>),
LL | |     Zed(Covariant<C>,Contravariant<C>)
LL | | }
   | |_^

error: aborting due to 6 previous errors