blob: 597a597262846d5e983369eaef2f762d94b668a8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
// revisions: any_lt static_lt
//[static_lt] known-bug: unknown
// This fails because we currently perform negative coherence in coherence mode.
// This means that when looking for a negative predicate, we also assemble a
// coherence-unknowable predicate. Since confirming the negative impl has region
// obligations, we don't prefer the impl over the unknowable predicate
// unconditionally and instead flounder.
#![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() {}
|
