summaryrefslogtreecommitdiffstats
path: root/src/test/ui/coherence/coherence-overlap-issue-23516.rs
blob: 63e42e8f412dd45b780f56a69fa7881c02462db3 (plain)
1
2
3
4
5
6
7
8
9
10
11
// Tests that we consider `Box<U>: !Sugar` to be ambiguous, even
// though we see no impl of `Sugar` for `Box`. Therefore, an overlap
// error is reported for the following pair of impls (#23516).

pub trait Sugar { fn dummy(&self) { } }
pub trait Sweet { fn dummy(&self) { } }
impl<T:Sugar> Sweet for T { }
impl<U:Sugar> Sweet for Box<U> { }
//~^ ERROR E0119

fn main() { }