Skip to content
Permalink
Browse files

fix tests post-rebase

  • Loading branch information...
pnkfelix committed Feb 15, 2019
1 parent 4db6a9b commit 9661ee6af47b39bc4c355b6aea2d0ebb14d203b8
@@ -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`.
@@ -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 | | }
| |_^

@@ -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
}
@@ -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)
@@ -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`.

0 comments on commit 9661ee6

Please sign in to comment.
You can’t perform that action at this time.