mirror of
https://github.com/rust-lang/rust.git
synced 2024-12-14 01:25:54 +00:00
Add UI test for needless_pass_by_ref_mut
This commit is contained in:
parent
b41fc6784f
commit
a43bea1016
105
tests/ui/needless_pass_by_ref_mut.rs
Normal file
105
tests/ui/needless_pass_by_ref_mut.rs
Normal file
@ -0,0 +1,105 @@
|
||||
#![allow(unused)]
|
||||
|
||||
use std::ptr::NonNull;
|
||||
|
||||
// Should only warn for `s`.
|
||||
fn foo(s: &mut Vec<u32>, b: &u32, x: &mut u32) {
|
||||
*x += *b + s.len() as u32;
|
||||
}
|
||||
|
||||
// Should not warn.
|
||||
fn foo2(s: &mut Vec<u32>) {
|
||||
s.push(8);
|
||||
}
|
||||
|
||||
// Should not warn because we return it.
|
||||
fn foo3(s: &mut Vec<u32>) -> &mut Vec<u32> {
|
||||
s
|
||||
}
|
||||
|
||||
// Should not warn because `s` is used as mutable.
|
||||
fn foo4(s: &mut Vec<u32>) {
|
||||
Vec::push(s, 4);
|
||||
}
|
||||
|
||||
// Should not warn.
|
||||
fn foo5(s: &mut Vec<u32>) {
|
||||
foo2(s);
|
||||
}
|
||||
|
||||
// Should warn.
|
||||
fn foo6(s: &mut Vec<u32>) {
|
||||
non_mut_ref(s);
|
||||
}
|
||||
|
||||
fn non_mut_ref(_: &Vec<u32>) {}
|
||||
|
||||
struct Bar;
|
||||
|
||||
impl Bar {
|
||||
// Should not warn on `&mut self`.
|
||||
fn bar(&mut self) {}
|
||||
|
||||
// Should warn about `vec`
|
||||
fn mushroom(&self, vec: &mut Vec<i32>) -> usize {
|
||||
vec.len()
|
||||
}
|
||||
|
||||
// Should warn about `vec` (and not `self`).
|
||||
fn badger(&mut self, vec: &mut Vec<i32>) -> usize {
|
||||
vec.len()
|
||||
}
|
||||
}
|
||||
|
||||
trait Babar {
|
||||
// Should not warn here since it's a trait method.
|
||||
fn method(arg: &mut u32);
|
||||
}
|
||||
|
||||
impl Babar for Bar {
|
||||
// Should not warn here since it's a trait method.
|
||||
fn method(a: &mut u32) {}
|
||||
}
|
||||
|
||||
// Should not warn (checking variable aliasing).
|
||||
fn alias_check(s: &mut Vec<u32>) {
|
||||
let mut alias = s;
|
||||
let mut alias2 = alias;
|
||||
let mut alias3 = alias2;
|
||||
alias3.push(0);
|
||||
}
|
||||
|
||||
// Should not warn (checking variable aliasing).
|
||||
fn alias_check2(mut s: &mut Vec<u32>) {
|
||||
let mut alias = &mut s;
|
||||
alias.push(0);
|
||||
}
|
||||
|
||||
struct Mut<T> {
|
||||
ptr: NonNull<T>,
|
||||
}
|
||||
|
||||
impl<T> Mut<T> {
|
||||
// Should not warn because `NonNull::from` also accepts `&mut`.
|
||||
fn new(ptr: &mut T) -> Self {
|
||||
Mut {
|
||||
ptr: NonNull::from(ptr),
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
// Should not warn.
|
||||
fn unused(_: &mut u32, _b: &mut u8) {}
|
||||
|
||||
fn main() {
|
||||
let mut u = 0;
|
||||
let mut v = vec![0];
|
||||
foo(&mut v, &0, &mut u);
|
||||
foo2(&mut v);
|
||||
foo3(&mut v);
|
||||
foo4(&mut v);
|
||||
foo5(&mut v);
|
||||
alias_check(&mut v);
|
||||
alias_check2(&mut v);
|
||||
println!("{u}");
|
||||
}
|
28
tests/ui/needless_pass_by_ref_mut.stderr
Normal file
28
tests/ui/needless_pass_by_ref_mut.stderr
Normal file
@ -0,0 +1,28 @@
|
||||
error: this argument is a mutable reference, but not used mutably
|
||||
--> $DIR/needless_pass_by_ref_mut.rs:6:11
|
||||
|
|
||||
LL | fn foo(s: &mut Vec<u32>, b: &u32, x: &mut u32) {
|
||||
| ^^^^^^^^^^^^^ help: consider changing to: `&Vec<u32>`
|
||||
|
|
||||
= note: `-D clippy::needless-pass-by-ref-mut` implied by `-D warnings`
|
||||
|
||||
error: this argument is a mutable reference, but not used mutably
|
||||
--> $DIR/needless_pass_by_ref_mut.rs:31:12
|
||||
|
|
||||
LL | fn foo6(s: &mut Vec<u32>) {
|
||||
| ^^^^^^^^^^^^^ help: consider changing to: `&Vec<u32>`
|
||||
|
||||
error: this argument is a mutable reference, but not used mutably
|
||||
--> $DIR/needless_pass_by_ref_mut.rs:44:29
|
||||
|
|
||||
LL | fn mushroom(&self, vec: &mut Vec<i32>) -> usize {
|
||||
| ^^^^^^^^^^^^^ help: consider changing to: `&Vec<i32>`
|
||||
|
||||
error: this argument is a mutable reference, but not used mutably
|
||||
--> $DIR/needless_pass_by_ref_mut.rs:49:31
|
||||
|
|
||||
LL | fn badger(&mut self, vec: &mut Vec<i32>) -> usize {
|
||||
| ^^^^^^^^^^^^^ help: consider changing to: `&Vec<i32>`
|
||||
|
||||
error: aborting due to 4 previous errors
|
||||
|
Loading…
Reference in New Issue
Block a user