2015-12-10 20:54:43 +00:00
|
|
|
#![feature(plugin)]
|
|
|
|
#![plugin(clippy)]
|
2017-05-17 12:19:44 +00:00
|
|
|
#![warn(clippy)]
|
2015-12-10 20:54:43 +00:00
|
|
|
|
2016-02-22 14:42:24 +00:00
|
|
|
#![allow(blacklisted_name)]
|
2017-05-17 12:19:44 +00:00
|
|
|
#![warn(used_underscore_binding)]
|
2016-02-22 14:42:24 +00:00
|
|
|
|
2016-06-15 14:27:56 +00:00
|
|
|
macro_rules! test_macro {
|
|
|
|
() => {{
|
|
|
|
let _foo = 42;
|
|
|
|
_foo + 1
|
|
|
|
}}
|
|
|
|
}
|
|
|
|
|
2015-12-17 21:52:30 +00:00
|
|
|
/// Test that we lint if we use a binding with a single leading underscore
|
2015-12-19 00:04:33 +00:00
|
|
|
fn prefix_underscore(_foo: u32) -> u32 {
|
2017-02-08 13:58:07 +00:00
|
|
|
_foo + 1
|
2015-12-10 20:54:43 +00:00
|
|
|
}
|
|
|
|
|
2016-06-15 14:27:56 +00:00
|
|
|
/// Test that we lint if we use a `_`-variable defined outside within a macro expansion
|
2015-12-19 00:04:33 +00:00
|
|
|
fn in_macro(_foo: u32) {
|
2016-06-15 14:27:56 +00:00
|
|
|
println!("{}", _foo);
|
|
|
|
assert_eq!(_foo, _foo);
|
2017-02-08 13:58:07 +00:00
|
|
|
|
2016-06-15 14:27:56 +00:00
|
|
|
test_macro!() + 1;
|
2015-12-21 09:03:12 +00:00
|
|
|
}
|
|
|
|
|
2015-12-19 00:29:22 +00:00
|
|
|
// Struct for testing use of fields prefixed with an underscore
|
|
|
|
struct StructFieldTest {
|
|
|
|
_underscore_field: u32,
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Test that we lint the use of a struct field which is prefixed with an underscore
|
|
|
|
fn in_struct_field() {
|
|
|
|
let mut s = StructFieldTest { _underscore_field: 0 };
|
2017-02-08 13:58:07 +00:00
|
|
|
s._underscore_field += 1;
|
2015-12-19 00:29:22 +00:00
|
|
|
}
|
|
|
|
|
2015-12-17 21:52:30 +00:00
|
|
|
/// Test that we do not lint if the underscore is not a prefix
|
2015-12-13 00:31:34 +00:00
|
|
|
fn non_prefix_underscore(some_foo: u32) -> u32 {
|
|
|
|
some_foo + 1
|
2015-12-10 20:54:43 +00:00
|
|
|
}
|
|
|
|
|
2015-12-19 00:04:33 +00:00
|
|
|
/// Test that we do not lint if we do not use the binding (simple case)
|
|
|
|
fn unused_underscore_simple(_foo: u32) -> u32 {
|
|
|
|
1
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Test that we do not lint if we do not use the binding (complex case). This checks for
|
|
|
|
/// compatibility with the built-in `unused_variables` lint.
|
|
|
|
fn unused_underscore_complex(mut _foo: u32) -> u32 {
|
|
|
|
_foo += 1;
|
|
|
|
_foo = 2;
|
2015-12-13 00:31:34 +00:00
|
|
|
1
|
2015-12-10 20:54:43 +00:00
|
|
|
}
|
2015-12-13 00:31:34 +00:00
|
|
|
|
2015-12-18 21:47:12 +00:00
|
|
|
///Test that we do not lint for multiple underscores
|
2015-12-19 00:04:33 +00:00
|
|
|
fn multiple_underscores(__foo: u32) -> u32 {
|
|
|
|
__foo + 1
|
2015-12-18 21:47:12 +00:00
|
|
|
}
|
|
|
|
|
2015-12-17 21:52:30 +00:00
|
|
|
// Non-variable bindings with preceding underscore
|
|
|
|
fn _fn_test() {}
|
|
|
|
struct _StructTest;
|
|
|
|
enum _EnumTest {
|
2016-02-01 11:51:33 +00:00
|
|
|
_Empty,
|
|
|
|
_Value(_StructTest)
|
2015-12-17 21:52:30 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/// Test that we do not lint for non-variable bindings
|
|
|
|
fn non_variables() {
|
|
|
|
_fn_test();
|
|
|
|
let _s = _StructTest;
|
2016-02-01 11:51:33 +00:00
|
|
|
let _e = match _EnumTest::_Value(_StructTest) {
|
|
|
|
_EnumTest::_Empty => 0,
|
|
|
|
_EnumTest::_Value(_st) => 1,
|
2015-12-17 21:52:30 +00:00
|
|
|
};
|
|
|
|
let f = _fn_test;
|
|
|
|
f();
|
|
|
|
}
|
|
|
|
|
2015-12-13 00:31:34 +00:00
|
|
|
fn main() {
|
|
|
|
let foo = 0u32;
|
|
|
|
// tests of unused_underscore lint
|
|
|
|
let _ = prefix_underscore(foo);
|
|
|
|
in_macro(foo);
|
2015-12-19 00:29:22 +00:00
|
|
|
in_struct_field();
|
2015-12-13 00:31:34 +00:00
|
|
|
// possible false positives
|
|
|
|
let _ = non_prefix_underscore(foo);
|
2015-12-19 00:04:33 +00:00
|
|
|
let _ = unused_underscore_simple(foo);
|
|
|
|
let _ = unused_underscore_complex(foo);
|
2015-12-18 21:47:12 +00:00
|
|
|
let _ = multiple_underscores(foo);
|
2015-12-17 21:52:30 +00:00
|
|
|
non_variables();
|
2015-12-13 00:31:34 +00:00
|
|
|
}
|