diff options
| author | lcnr <rust@lcnr.de> | 2024-07-10 16:03:20 +0200 |
|---|---|---|
| committer | lcnr <rust@lcnr.de> | 2024-07-10 16:16:48 +0200 |
| commit | fe0bd76a8bdb80f4460dd59612076cf91370f7a1 (patch) | |
| tree | b8e4f4e9a0e3f8d1172ff590656adfb13c35ddee /tests/ui/issues/issue-48728.rs | |
| parent | 0fdfb61795b40037955154638fe35f20b16c8e55 (diff) | |
| download | rust-fe0bd76a8bdb80f4460dd59612076cf91370f7a1.tar.gz rust-fe0bd76a8bdb80f4460dd59612076cf91370f7a1.zip | |
elaborate unknowable goals
if a trait is unknowable, but its super trait is definitely not implemented, then the trait itself is definitely also not implemented.
Diffstat (limited to 'tests/ui/issues/issue-48728.rs')
| -rw-r--r-- | tests/ui/issues/issue-48728.rs | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/tests/ui/issues/issue-48728.rs b/tests/ui/issues/issue-48728.rs index cbdc10bd2e1..7ef05f4277b 100644 --- a/tests/ui/issues/issue-48728.rs +++ b/tests/ui/issues/issue-48728.rs @@ -1,7 +1,12 @@ // Regression test for #48728, an ICE that occurred computing // coherence "help" information. -#[derive(Clone)] //~ ERROR conflicting implementations of trait `Clone` +//@ revisions: current next +//@ ignore-compare-mode-next-solver (explicit revisions) +//@[next] compile-flags: -Znext-solver +//@[next] check-pass + +#[derive(Clone)] //[current]~ ERROR conflicting implementations of trait `Clone` struct Node<T: ?Sized>(Box<T>); impl<T: Clone + ?Sized> Clone for Node<[T]> { |