rust/tests/ui/used_underscore_binding.rs

105 lines
2.6 KiB
Rust
Raw Normal View History

2018-10-06 18:18:06 +02:00
// Copyright 2014-2018 The Rust Project Developers. See the COPYRIGHT
// file at the top-level directory of this distribution.
//
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
// option. This file may not be copied, modified, or distributed
// except according to those terms.
2018-10-11 12:16:22 +02:00
2017-09-18 12:47:33 +02:00
2018-07-28 17:34:52 +02:00
#![warn(clippy::all)]
2017-09-18 12:47:33 +02:00
2018-07-28 17:34:52 +02:00
#![allow(clippy::blacklisted_name)]
#![warn(clippy::used_underscore_binding)]
2016-02-22 15:42:24 +01:00
2016-06-15 16:27:56 +02:00
macro_rules! test_macro {
() => {{
let _foo = 42;
_foo + 1
}}
}
2015-12-17 22:52:30 +01:00
/// Test that we lint if we use a binding with a single leading underscore
fn prefix_underscore(_foo: u32) -> u32 {
2017-02-08 14:58:07 +01:00
_foo + 1
2015-12-10 21:54:43 +01:00
}
2016-06-15 16:27:56 +02:00
/// Test that we lint if we use a `_`-variable defined outside within a macro expansion
fn in_macro(_foo: u32) {
2016-06-15 16:27:56 +02:00
println!("{}", _foo);
assert_eq!(_foo, _foo);
2017-02-08 14:58:07 +01:00
2016-06-15 16:27:56 +02:00
test_macro!() + 1;
}
2015-12-19 01:29:22 +01: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 14:58:07 +01:00
s._underscore_field += 1;
2015-12-19 01:29:22 +01:00
}
2015-12-17 22:52:30 +01:00
/// Test that we do not lint if the underscore is not a prefix
2015-12-13 01:31:34 +01:00
fn non_prefix_underscore(some_foo: u32) -> u32 {
some_foo + 1
2015-12-10 21:54:43 +01: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 01:31:34 +01:00
1
2015-12-10 21:54:43 +01:00
}
2015-12-13 01:31:34 +01:00
///Test that we do not lint for multiple underscores
fn multiple_underscores(__foo: u32) -> u32 {
__foo + 1
}
2015-12-17 22:52:30 +01:00
// Non-variable bindings with preceding underscore
fn _fn_test() {}
struct _StructTest;
enum _EnumTest {
2016-02-01 12:51:33 +01:00
_Empty,
_Value(_StructTest)
2015-12-17 22:52:30 +01:00
}
/// Test that we do not lint for non-variable bindings
fn non_variables() {
_fn_test();
let _s = _StructTest;
2016-02-01 12:51:33 +01:00
let _e = match _EnumTest::_Value(_StructTest) {
_EnumTest::_Empty => 0,
_EnumTest::_Value(_st) => 1,
2015-12-17 22:52:30 +01:00
};
let f = _fn_test;
f();
}
2015-12-13 01:31:34 +01:00
fn main() {
let foo = 0u32;
// tests of unused_underscore lint
let _ = prefix_underscore(foo);
in_macro(foo);
2015-12-19 01:29:22 +01:00
in_struct_field();
2015-12-13 01:31:34 +01:00
// possible false positives
let _ = non_prefix_underscore(foo);
let _ = unused_underscore_simple(foo);
let _ = unused_underscore_complex(foo);
let _ = multiple_underscores(foo);
2015-12-17 22:52:30 +01:00
non_variables();
2015-12-13 01:31:34 +01:00
}