error[E0208]: [+, +]
  --> $DIR/variance-types-bounds.rs:7:1
   |
LL | / struct TestImm<A, B> {
LL | |     x: A,
LL | |     y: B,
LL | | }
   | |_^

error[E0208]: [+, o]
  --> $DIR/variance-types-bounds.rs:13:1
   |
LL | / struct TestMut<A, B:'static> {
LL | |     x: A,
LL | |     y: &'static mut B,
LL | | }
   | |_^

error[E0208]: [+, o]
  --> $DIR/variance-types-bounds.rs:19:1
   |
LL | / struct TestIndirect<A:'static, B:'static> {
LL | |     m: TestMut<A, B>
LL | | }
   | |_^

error[E0208]: [o, o]
  --> $DIR/variance-types-bounds.rs:24:1
   |
LL | / struct TestIndirect2<A:'static, B:'static> {
LL | |     n: TestMut<A, B>,
LL | |     m: TestMut<B, A>
LL | | }
   | |_^

error[E0208]: [o, o]
  --> $DIR/variance-types-bounds.rs:38:1
   |
LL | / struct TestObject<A, R> {
LL | |     n: Box<dyn Setter<A>+Send>,
LL | |     m: Box<dyn Getter<R>+Send>,
LL | | }
   | |_^

error: aborting due to 5 previous errors