error[E0208]: [-, +]
  --> $DIR/variance-associated-types.rs:13:1
   |
LL | / struct Foo<'a, T : Trait<'a>> {
LL | |     field: (T, &'a ())
LL | | }
   | |_^

error[E0208]: [o, o]
  --> $DIR/variance-associated-types.rs:18:1
   |
LL | / struct Bar<'a, T : Trait<'a>> {
LL | |     field: <T as Trait<'a>>::Type
LL | | }
   | |_^

error: aborting due to 2 previous errors