error: negative bounds are not supported
  --> $DIR/issue-58857.rs:4:9
   |
LL | impl<A: !Valid> Conj<A>{}
   |         ^

error: aborting due to 1 previous error