src/test/ui/issues/issue-58857.stderr

   1 error: negative trait bounds are not supported
   2   --> $DIR/issue-58857.rs:4:7
   3    |
   4 LL | impl<A: !Valid> Conj<A>{}
   5    |       ^^^^^^^^ negative trait bounds are not supported
   6    = help: remove the trait bound
   7
   8 error: aborting due to previous error
   9