This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Commit 2a64a2d
1 parent ed711b6 commit 2a64a2d Copy full SHA for 2a64a2d
File tree 3 files changed +10
-0
lines changed
3 files changed +10
-0
lines changed Original file line number Diff line number Diff line change @@ -38,11 +38,13 @@ pub fn f1_int_uint() {
38
38
pub fn f1_uint_uint ( ) {
39
39
f1 ( 2u32 , 4u32 ) ;
40
40
//~^ ERROR `u32: Foo` is not satisfied
41
+ //~| ERROR `u32: Foo` is not satisfied
41
42
}
42
43
43
44
pub fn f1_uint_int ( ) {
44
45
f1 ( 2u32 , 4i32 ) ;
45
46
//~^ ERROR `u32: Foo` is not satisfied
47
+ //~| ERROR `u32: Foo` is not satisfied
46
48
}
47
49
48
50
pub fn f2_int ( ) {
Original file line number Diff line number Diff line change @@ -44,12 +44,18 @@ fn main() {
44
44
//~^ ERROR E0277
45
45
//~| NOTE trait message
46
46
//~| NOTE required by
47
+ //~| ERROR E0277
48
+ //~| NOTE trait message
47
49
Index :: index ( & [ ] as & [ i32 ] , Foo ( 2u32 ) ) ;
48
50
//~^ ERROR E0277
49
51
//~| NOTE on impl for Foo
50
52
//~| NOTE required by
53
+ //~| ERROR E0277
54
+ //~| NOTE on impl for Foo
51
55
Index :: index ( & [ ] as & [ i32 ] , Bar ( 2u32 ) ) ;
52
56
//~^ ERROR E0277
53
57
//~| NOTE on impl for Bar
54
58
//~| NOTE required by
59
+ //~| ERROR E0277
60
+ //~| NOTE on impl for Bar
55
61
}
Original file line number Diff line number Diff line change @@ -33,4 +33,6 @@ fn main() {
33
33
//~^ ERROR E0277
34
34
//~| NOTE a usize is required
35
35
//~| NOTE required by
36
+ //~| ERROR E0277
37
+ //~| NOTE a usize is required
36
38
}
You can’t perform that action at this time.
0 commit comments