Update two E308 tests to the new placeholder error

This commit is contained in:
lqd 2019-01-25 19:04:26 +01:00 committed by Rémy Rakic
parent 55389f9171
commit ce61b1b9fa
2 changed files with 2 additions and 2 deletions

View file

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

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 E0308
foo_hrtb_bar_not(&mut t); //~ ERROR not general enough
}
fn foo_hrtb_bar_hrtb<T>(mut t: T)