summaryrefslogtreecommitdiffstats
path: root/tests/ui/coherence/coherence-overlap-issue-23516.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/coherence/coherence-overlap-issue-23516.rs')
-rw-r--r--tests/ui/coherence/coherence-overlap-issue-23516.rs3
1 files changed, 3 insertions, 0 deletions
diff --git a/tests/ui/coherence/coherence-overlap-issue-23516.rs b/tests/ui/coherence/coherence-overlap-issue-23516.rs
index 63e42e8f4..c846d3971 100644
--- a/tests/ui/coherence/coherence-overlap-issue-23516.rs
+++ b/tests/ui/coherence/coherence-overlap-issue-23516.rs
@@ -1,3 +1,6 @@
+// revisions: old next
+//[next] compile-flags: -Ztrait-solver=next
+
// 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).