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