tests/ui/trait-bounds/negative-bound-not-supported-58857.rs


1
2
3
4
5
6
7
8

// https://github.com/rust-lang/rust/issues/58857
struct Conj<A> {a : A}
trait Valid {}

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

fn main() {}