Skip to content

Commit dc8ce4c

Browse files
committed
Update existing tests for trivial bounds changes
1 parent 9b0dfe1 commit dc8ce4c

File tree

3 files changed

+6
-5
lines changed

3 files changed

+6
-5
lines changed

src/test/compile-fail/cross-fn-cache-hole.rs

+3-4
Original file line numberDiff line numberDiff line change
@@ -11,10 +11,9 @@
1111
// Check that when there are vacuous predicates in the environment
1212
// (which make a fn uncallable) we don't erroneously cache those and
1313
// then consider them satisfied elsewhere. The current technique for
14-
// doing this is just to filter "global" predicates out of the
15-
// environment, which means that we wind up with an error in the
16-
// function `vacuous`, because even though `i32: Bar<u32>` is implied
17-
// by its where clause, that where clause never holds.
14+
// doing this is to not use global caches when there is a chance that
15+
// the environment contains such a predicate.
16+
// We still error for `i32: Bar<u32>` pending #48214
1817

1918
trait Foo<X,Y>: Bar<X> {
2019
}

src/test/compile-fail/issue-42796.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -17,7 +17,7 @@ impl<T, Smoke> Mirror<Smoke> for T {
1717
}
1818

1919
pub fn poison<S>(victim: String) where <String as Mirror<S>>::Image: Copy {
20-
loop { drop(victim); } //~ ERROR use of moved value
20+
loop { drop(victim); }
2121
}
2222

2323
fn main() {

src/test/ui/issue-48728.stderr

+2
Original file line numberDiff line numberDiff line change
@@ -6,6 +6,8 @@ LL | #[derive(Clone)] //~ ERROR conflicting implementations of trait `std::clone
66
...
77
LL | impl<T: Clone + ?Sized> Clone for Node<[T]> {
88
| ------------------------------------------- first implementation here
9+
|
10+
= note: upstream crates may add new impl of trait `std::clone::Clone` for type `[_]` in future versions
911

1012
error: aborting due to previous error
1113

0 commit comments

Comments
 (0)