2017-02-07 20:05:30 +00:00
|
|
|
error: this lifetime isn't used in the function definition
|
|
|
|
--> $DIR/unused_lt.rs:16:14
|
|
|
|
|
|
2017-02-08 13:58:07 +00:00
|
|
|
16 | fn unused_lt<'a>(x: u8) {
|
2017-02-07 20:05:30 +00:00
|
|
|
| ^^
|
|
|
|
|
|
|
|
|
note: lint level defined here
|
|
|
|
--> $DIR/unused_lt.rs:4:9
|
|
|
|
|
|
|
|
|
4 | #![deny(unused_lifetimes)]
|
|
|
|
| ^^^^^^^^^^^^^^^^
|
|
|
|
|
|
|
|
error: this lifetime isn't used in the function definition
|
|
|
|
--> $DIR/unused_lt.rs:20:25
|
|
|
|
|
|
2017-02-08 13:58:07 +00:00
|
|
|
20 | fn unused_lt_transitive<'a, 'b: 'a>(x: &'b u8) {
|
2017-02-07 20:05:30 +00:00
|
|
|
| ^^
|
|
|
|
|
|
|
|
error: this lifetime isn't used in the function definition
|
|
|
|
--> $DIR/unused_lt.rs:50:10
|
|
|
|
|
|
2017-02-08 13:58:07 +00:00
|
|
|
50 | fn x<'a>(&self) {}
|
2017-02-07 20:05:30 +00:00
|
|
|
| ^^
|
|
|
|
|
|
|
|
error: aborting due to 3 previous errors
|
|
|
|
|