diff options
Diffstat (limited to 'src/test/ui/coherence/coherence-overlap-issue-23516.rs')
-rw-r--r-- | src/test/ui/coherence/coherence-overlap-issue-23516.rs | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/src/test/ui/coherence/coherence-overlap-issue-23516.rs b/src/test/ui/coherence/coherence-overlap-issue-23516.rs deleted file mode 100644 index 63e42e8f4..000000000 --- a/src/test/ui/coherence/coherence-overlap-issue-23516.rs +++ /dev/null @@ -1,11 +0,0 @@ -// 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() { } |