tests: work around fallout from normalizing signatures separately.

This commit is contained in:
Eduard-Mihai Burtescu 2017-06-02 22:12:01 +03:00
parent a9d4069975
commit 69076f3a78
3 changed files with 10 additions and 0 deletions

View File

@ -38,11 +38,13 @@ pub fn f1_int_uint() {
pub fn f1_uint_uint() { pub fn f1_uint_uint() {
f1(2u32, 4u32); f1(2u32, 4u32);
//~^ ERROR `u32: Foo` is not satisfied //~^ ERROR `u32: Foo` is not satisfied
//~| ERROR `u32: Foo` is not satisfied
} }
pub fn f1_uint_int() { pub fn f1_uint_int() {
f1(2u32, 4i32); f1(2u32, 4i32);
//~^ ERROR `u32: Foo` is not satisfied //~^ ERROR `u32: Foo` is not satisfied
//~| ERROR `u32: Foo` is not satisfied
} }
pub fn f2_int() { pub fn f2_int() {

View File

@ -44,12 +44,18 @@ fn main() {
//~^ ERROR E0277 //~^ ERROR E0277
//~| NOTE trait message //~| NOTE trait message
//~| NOTE required by //~| NOTE required by
//~| ERROR E0277
//~| NOTE trait message
Index::index(&[] as &[i32], Foo(2u32)); Index::index(&[] as &[i32], Foo(2u32));
//~^ ERROR E0277 //~^ ERROR E0277
//~| NOTE on impl for Foo //~| NOTE on impl for Foo
//~| NOTE required by //~| NOTE required by
//~| ERROR E0277
//~| NOTE on impl for Foo
Index::index(&[] as &[i32], Bar(2u32)); Index::index(&[] as &[i32], Bar(2u32));
//~^ ERROR E0277 //~^ ERROR E0277
//~| NOTE on impl for Bar //~| NOTE on impl for Bar
//~| NOTE required by //~| NOTE required by
//~| ERROR E0277
//~| NOTE on impl for Bar
} }

View File

@ -33,4 +33,6 @@ fn main() {
//~^ ERROR E0277 //~^ ERROR E0277
//~| NOTE a usize is required //~| NOTE a usize is required
//~| NOTE required by //~| NOTE required by
//~| ERROR E0277
//~| NOTE a usize is required
} }