24 lines
397 B
Rust
24 lines
397 B
Rust
//@ revisions: any_lt static_lt
|
|
//@[static_lt] check-pass
|
|
|
|
#![feature(negative_impls)]
|
|
#![feature(with_negative_coherence)]
|
|
|
|
trait Foo {}
|
|
|
|
impl<T> !Foo for &'static T {}
|
|
|
|
trait Bar {}
|
|
|
|
impl<T> Bar for T where T: Foo {}
|
|
|
|
#[cfg(any_lt)]
|
|
impl<T> Bar for &T {}
|
|
//[any_lt]~^ ERROR conflicting implementations of trait `Bar` for type `&_`
|
|
|
|
#[cfg(static_lt)]
|
|
impl<T> Bar for &'static T {}
|
|
|
|
|
|
fn main() {}
|