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

   1 error[E0208]: [-, +]
   2   --> $DIR/variance-associated-types.rs:13:1
   3    |
   4 LL | / struct Foo<'a, T : Trait<'a>> {
   5 LL | |     field: (T, &'a ())
   6 LL | | }
   7    | |_^
   8
   9 error[E0208]: [o, o]
  10   --> $DIR/variance-associated-types.rs:18:1
  11    |
  12 LL | / struct Bar<'a, T : Trait<'a>> {
  13 LL | |     field: <T as Trait<'a>>::Type
  14 LL | | }
  15    | |_^
  16
  17 error: aborting due to 2 previous errors
  18