mirror of
https://github.com/rust-lang/rust.git
synced 2024-11-27 17:24:06 +00:00
Update existing tests for trivial bounds changes
This commit is contained in:
parent
9b0dfe184e
commit
dc8ce4c139
@ -11,10 +11,9 @@
|
||||
// Check that when there are vacuous predicates in the environment
|
||||
// (which make a fn uncallable) we don't erroneously cache those and
|
||||
// then consider them satisfied elsewhere. The current technique for
|
||||
// doing this is just to filter "global" predicates out of the
|
||||
// environment, which means that we wind up with an error in the
|
||||
// function `vacuous`, because even though `i32: Bar<u32>` is implied
|
||||
// by its where clause, that where clause never holds.
|
||||
// doing this is to not use global caches when there is a chance that
|
||||
// the environment contains such a predicate.
|
||||
// We still error for `i32: Bar<u32>` pending #48214
|
||||
|
||||
trait Foo<X,Y>: Bar<X> {
|
||||
}
|
||||
|
@ -17,7 +17,7 @@ impl<T, Smoke> Mirror<Smoke> for T {
|
||||
}
|
||||
|
||||
pub fn poison<S>(victim: String) where <String as Mirror<S>>::Image: Copy {
|
||||
loop { drop(victim); } //~ ERROR use of moved value
|
||||
loop { drop(victim); }
|
||||
}
|
||||
|
||||
fn main() {
|
||||
|
@ -6,6 +6,8 @@ LL | #[derive(Clone)] //~ ERROR conflicting implementations of trait `std::clone
|
||||
...
|
||||
LL | impl<T: Clone + ?Sized> Clone for Node<[T]> {
|
||||
| ------------------------------------------- first implementation here
|
||||
|
|
||||
= note: upstream crates may add new impl of trait `std::clone::Clone` for type `[_]` in future versions
|
||||
|
||||
error: aborting due to previous error
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user