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

struct Conj<A> {a : A}
trait Valid {}

impl<A: !Valid> Conj<A>{}
//~^ ERROR negative trait bounds are not supported

fn main() {}