error[E0208]: [+, +]
  --> $DIR/variance-trait-bounds.rs:16:1
   |
LL | / struct TestStruct<U,T:Setter<U>> {
LL | |     t: T, u: U
LL | | }
   | |_^

error[E0208]: [*, +]
  --> $DIR/variance-trait-bounds.rs:21:1
   |
LL | / enum TestEnum<U,T:Setter<U>> {
LL | |     Foo(T)
LL | | }
   | |_^

error[E0208]: [*, +]
  --> $DIR/variance-trait-bounds.rs:26:1
   |
LL | / struct TestContraStruct<U,T:Setter<U>> {
LL | |     t: T
LL | | }
   | |_^

error[E0208]: [*, +]
  --> $DIR/variance-trait-bounds.rs:31:1
   |
LL | / struct TestBox<U,T:Getter<U>+Setter<U>> {
LL | |     t: T
LL | | }
   | |_^

error: aborting due to 4 previous errors