2017-02-18 02:00:36 -06:00
|
|
|
#![feature(plugin)]
|
|
|
|
#![plugin(clippy)]
|
|
|
|
|
2017-05-17 07:19:44 -05:00
|
|
|
#![warn(needless_pass_by_value)]
|
2017-02-20 03:18:31 -06:00
|
|
|
#![allow(dead_code, single_match, if_let_redundant_pattern_matching, many_single_char_names)]
|
2017-02-18 02:00:36 -06:00
|
|
|
|
2017-02-20 01:45:37 -06:00
|
|
|
// `v` should be warned
|
2017-02-18 02:00:36 -06:00
|
|
|
// `w`, `x` and `y` are allowed (moved or mutated)
|
|
|
|
fn foo<T: Default>(v: Vec<T>, w: Vec<T>, mut x: Vec<T>, y: Vec<T>) -> Vec<T> {
|
|
|
|
assert_eq!(v.len(), 42);
|
|
|
|
|
|
|
|
consume(w);
|
|
|
|
|
|
|
|
x.push(T::default());
|
|
|
|
|
|
|
|
y
|
|
|
|
}
|
|
|
|
|
|
|
|
fn consume<T>(_: T) {}
|
|
|
|
|
2017-02-19 21:50:31 -06:00
|
|
|
struct Wrapper(String);
|
|
|
|
|
|
|
|
fn bar(x: String, y: Wrapper) {
|
|
|
|
assert_eq!(x.len(), 42);
|
|
|
|
assert_eq!(y.0.len(), 42);
|
|
|
|
}
|
|
|
|
|
2017-02-20 01:45:37 -06:00
|
|
|
// U implements `Borrow<U>`, but should be warned correctly
|
2017-02-19 21:50:31 -06:00
|
|
|
fn test_borrow_trait<T: std::borrow::Borrow<str>, U>(t: T, u: U) {
|
|
|
|
println!("{}", t.borrow());
|
|
|
|
consume(&u);
|
|
|
|
}
|
|
|
|
|
2017-02-18 02:00:36 -06:00
|
|
|
// ok
|
|
|
|
fn test_fn<F: Fn(i32) -> i32>(f: F) {
|
|
|
|
f(1);
|
|
|
|
}
|
|
|
|
|
2017-02-20 01:45:37 -06:00
|
|
|
// x should be warned, but y is ok
|
|
|
|
fn test_match(x: Option<Option<String>>, y: Option<Option<String>>) {
|
|
|
|
match x {
|
|
|
|
Some(Some(_)) => 1, // not moved
|
|
|
|
_ => 0,
|
|
|
|
};
|
|
|
|
|
|
|
|
match y {
|
|
|
|
Some(Some(s)) => consume(s), // moved
|
|
|
|
_ => (),
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
2017-02-20 03:18:31 -06:00
|
|
|
// x and y should be warned, but z is ok
|
|
|
|
fn test_destructure(x: Wrapper, y: Wrapper, z: Wrapper) {
|
|
|
|
let Wrapper(s) = z; // moved
|
|
|
|
let Wrapper(ref t) = y; // not moved
|
2017-02-21 03:44:31 -06:00
|
|
|
let Wrapper(_) = y; // still not moved
|
|
|
|
|
2017-02-20 01:45:37 -06:00
|
|
|
assert_eq!(x.0.len(), s.len());
|
2017-02-20 03:18:31 -06:00
|
|
|
println!("{}", t);
|
2017-02-20 01:45:37 -06:00
|
|
|
}
|
|
|
|
|
2017-02-18 02:00:36 -06:00
|
|
|
fn main() {}
|