8 lines
130 B
Rust
8 lines
130 B
Rust
|
struct Conj<A> {a : A}
|
||
|
|
trait Valid {}
|
||
|
|
|
||
|
|
impl<A: !Valid> Conj<A>{}
|
||
|
|
//~^ ERROR negative trait bounds are not supported
|
||
|
|
|
||
|
|
fn main() {}
|