File tree 9 files changed +19
-17
lines changed
9 files changed +19
-17
lines changed Original file line number Diff line number Diff line change @@ -121,7 +121,7 @@ fn any_fixed_vec() {
121
121
122
122
#[ test]
123
123
fn any_unsized ( ) {
124
- fn is_any < T : Any + ?Sized > ( ) { }
124
+ fn is_any < _T : Any + ?Sized > ( ) { }
125
125
is_any :: < [ i32 ] > ( ) ;
126
126
}
127
127
Original file line number Diff line number Diff line change @@ -674,8 +674,8 @@ pub trait SpecializationError {
674
674
/// `T` is the type being encoded/decoded, and
675
675
/// the arguments are the names of the trait
676
676
/// and method that should've been overriden.
677
- fn not_found < S , T : ?Sized > ( trait_name : & ' static str ,
678
- method_name : & ' static str ) -> Self ;
677
+ fn not_found < _S , _T : ?Sized > ( trait_name : & ' static str ,
678
+ method_name : & ' static str ) -> Self ;
679
679
}
680
680
681
681
impl < E > SpecializationError for E {
Original file line number Diff line number Diff line change @@ -2684,7 +2684,7 @@ mod tests {
2684
2684
2685
2685
#[ test]
2686
2686
fn _assert_send_sync ( ) {
2687
- fn _assert_send_sync < T : Send + Sync > ( ) { }
2687
+ fn _assert_send_sync < _T : Send + Sync > ( ) { }
2688
2688
_assert_send_sync :: < OpenOptions > ( ) ;
2689
2689
}
2690
2690
Original file line number Diff line number Diff line change @@ -235,8 +235,8 @@ impl Drop for Key {
235
235
mod tests {
236
236
use super :: { Key , StaticKey } ;
237
237
238
- fn assert_sync < T : Sync > ( ) { }
239
- fn assert_send < T : Send > ( ) { }
238
+ fn assert_sync < _T : Sync > ( ) { }
239
+ fn assert_send < _T : Send > ( ) { }
240
240
241
241
#[ test]
242
242
fn smoke ( ) {
Original file line number Diff line number Diff line change @@ -1981,7 +1981,7 @@ mod tests {
1981
1981
// are ASTs encodable?
1982
1982
#[ test]
1983
1983
fn check_asts_encodable ( ) {
1984
- fn assert_encodable < T : serialize:: Encodable > ( ) { }
1984
+ fn assert_encodable < _T : serialize:: Encodable > ( ) { }
1985
1985
assert_encodable :: < Crate > ( ) ;
1986
1986
}
1987
1987
}
Original file line number Diff line number Diff line change 9
9
// except according to those terms.
10
10
11
11
#![ allow( dead_code) ]
12
+ #![ allow( unused_type_parameters) ]
12
13
#![ deny( extra_requirement_in_impl) ]
13
14
14
15
// Test that we elaborate `Type: 'region` constraints and infer various important things.
Original file line number Diff line number Diff line change 1
1
error[E0276]: impl has stricter requirements than trait
2
- --> $DIR/proj-outlives-region.rs:22 :5
2
+ --> $DIR/proj-outlives-region.rs:23 :5
3
3
|
4
- 17 | fn foo() where T: 'a;
4
+ 18 | fn foo() where T: 'a;
5
5
| --------------------- definition of `foo` from trait
6
6
...
7
- 22 | fn foo() where U: 'a { } //~ ERROR E0276
7
+ 23 | fn foo() where U: 'a { } //~ ERROR E0276
8
8
| ^^^^^^^^^^^^^^^^^^^^^^^^ impl has extra requirement `U: 'a`
9
9
|
10
10
= warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
11
11
= note: for more information, see issue #37166 <https://github.com/rust-lang/rust/issues/37166>
12
12
note: lint level defined here
13
- --> $DIR/proj-outlives-region.rs:12 :9
13
+ --> $DIR/proj-outlives-region.rs:13 :9
14
14
|
15
- 12 | #![deny(extra_requirement_in_impl)]
15
+ 13 | #![deny(extra_requirement_in_impl)]
16
16
| ^^^^^^^^^^^^^^^^^^^^^^^^^
17
17
18
18
error: aborting due to previous error
Original file line number Diff line number Diff line change 9
9
// except according to those terms.
10
10
11
11
#![ allow( dead_code) ]
12
+ #![ allow( unused_type_parameters) ]
12
13
#![ deny( extra_requirement_in_impl) ]
13
14
14
15
// Test that we elaborate `Type: 'region` constraints and infer various important things.
Original file line number Diff line number Diff line change 1
1
error[E0276]: impl has stricter requirements than trait
2
- --> $DIR/region-unrelated.rs:22 :5
2
+ --> $DIR/region-unrelated.rs:23 :5
3
3
|
4
- 17 | fn foo() where T: 'a;
4
+ 18 | fn foo() where T: 'a;
5
5
| --------------------- definition of `foo` from trait
6
6
...
7
- 22 | fn foo() where V: 'a { }
7
+ 23 | fn foo() where V: 'a { }
8
8
| ^^^^^^^^^^^^^^^^^^^^^^^^ impl has extra requirement `V: 'a`
9
9
|
10
10
= warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
11
11
= note: for more information, see issue #37166 <https://github.com/rust-lang/rust/issues/37166>
12
12
note: lint level defined here
13
- --> $DIR/region-unrelated.rs:12 :9
13
+ --> $DIR/region-unrelated.rs:13 :9
14
14
|
15
- 12 | #![deny(extra_requirement_in_impl)]
15
+ 13 | #![deny(extra_requirement_in_impl)]
16
16
| ^^^^^^^^^^^^^^^^^^^^^^^^^
17
17
18
18
error: aborting due to previous error
You can’t perform that action at this time.
0 commit comments