fix tests post-rebase

This commit is contained in:
Felix S. Klock II 2019-02-15 15:52:29 +01:00
parent 4db6a9b82f
commit 9661ee6af4
5 changed files with 14 additions and 14 deletions

View File

@ -1,12 +1,12 @@
error: implementation of `Mirror` is not general enough
error[E0308]: mismatched types
--> $DIR/higher-ranked-projection.rs:25:5
|
LL | foo(());
| ^^^
| ^^^ one type is more general than the other
|
= note: Due to a where-clause on `foo`,
= note: `Mirror` would have to be implemented for the type `&'0 ()`, for any lifetime `'0`
= note: but `Mirror` is actually implemented for the type `&'1 ()`, for some specific lifetime `'1`
= note: expected type `&'a ()`
found type `&()`
error: aborting due to previous error
For more information about this error, try `rustc --explain E0308`.

View File

@ -3,7 +3,7 @@ error: compilation successful
|
LL | / fn main() { //[good]~ ERROR compilation successful
LL | | foo(());
LL | | //[bad]~^ ERROR not general enough
LL | | //[bad]~^ ERROR mismatched types
LL | | }
| |_^

View File

@ -23,5 +23,5 @@ fn foo<U, T>(_t: T)
#[rustc_error]
fn main() { //[good]~ ERROR compilation successful
foo(());
//[bad]~^ ERROR not general enough
//[bad]~^ ERROR mismatched types
}

View File

@ -43,7 +43,7 @@ fn foo_hrtb_bar_not<'b,T>(mut t: T)
// be implemented. Thus to satisfy `&mut T : for<'a> Foo<&'a
// isize>`, we require `T : for<'a> Bar<&'a isize>`, but the where
// clause only specifies `T : Bar<&'b isize>`.
foo_hrtb_bar_not(&mut t); //~ ERROR not general enough
foo_hrtb_bar_not(&mut t); //~ ERROR mismatched types
}
fn foo_hrtb_bar_hrtb<T>(mut t: T)

View File

@ -1,12 +1,12 @@
error: implementation of `Foo` is not general enough
error[E0308]: mismatched types
--> $DIR/hrtb-perfect-forwarding.rs:46:5
|
LL | foo_hrtb_bar_not(&mut t); //~ ERROR not general enough
| ^^^^^^^^^^^^^^^^
LL | foo_hrtb_bar_not(&mut t); //~ ERROR mismatched types
| ^^^^^^^^^^^^^^^^ one type is more general than the other
|
= note: Due to a where-clause on `foo_hrtb_bar_not`,
= note: `&mut T` must implement `Foo<&'0 isize>`, for any lifetime `'0`
= note: but `&mut T` actually implements `Foo<&'1 isize>`, for some specific lifetime `'1`
= note: expected type `Bar<&'a isize>`
found type `Bar<&'b isize>`
error: aborting due to previous error
For more information about this error, try `rustc --explain E0308`.