summaryrefslogtreecommitdiffstats
path: root/tests/ui/coherence/coherence-overlap-issue-23516-inherent.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/coherence/coherence-overlap-issue-23516-inherent.rs')
-rw-r--r--tests/ui/coherence/coherence-overlap-issue-23516-inherent.rs3
1 files changed, 3 insertions, 0 deletions
diff --git a/tests/ui/coherence/coherence-overlap-issue-23516-inherent.rs b/tests/ui/coherence/coherence-overlap-issue-23516-inherent.rs
index a272e620f..a7c90a6b8 100644
--- a/tests/ui/coherence/coherence-overlap-issue-23516-inherent.rs
+++ b/tests/ui/coherence/coherence-overlap-issue-23516-inherent.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).