Rollup merge of #116201 - Jarcho:noop_fix, r=fee1-dead

Fix `noop_method_call` detection

This needs to be merged before #116198 can compile. The error occurs before the compiler is built so this needs to be a separate PR.
This commit is contained in:
Matthias Krüger 2023-09-29 10:11:12 +02:00 committed by GitHub
commit e814f1e3c0
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
4 changed files with 39 additions and 7 deletions

View File

@ -98,6 +98,12 @@ fn check_expr(&mut self, cx: &LateContext<'tcx>, expr: &'tcx Expr<'_>) {
let Ok(Some(i)) = ty::Instance::resolve(cx.tcx, cx.param_env, did, args) else { return }; let Ok(Some(i)) = ty::Instance::resolve(cx.tcx, cx.param_env, did, args) else { return };
// (Re)check that it implements the noop diagnostic. // (Re)check that it implements the noop diagnostic.
let Some(name) = cx.tcx.get_diagnostic_name(i.def_id()) else { return }; let Some(name) = cx.tcx.get_diagnostic_name(i.def_id()) else { return };
if !matches!(
name,
sym::noop_method_borrow | sym::noop_method_clone | sym::noop_method_deref
) {
return;
}
let receiver_ty = cx.typeck_results().expr_ty(receiver); let receiver_ty = cx.typeck_results().expr_ty(receiver);
let expr_ty = cx.typeck_results().expr_ty_adjusted(expr); let expr_ty = cx.typeck_results().expr_ty_adjusted(expr);

View File

@ -1,6 +1,7 @@
// check-pass // check-pass
// run-rustfix // run-rustfix
#![feature(rustc_attrs)]
#![allow(unused)] #![allow(unused)]
use std::borrow::Borrow; use std::borrow::Borrow;
@ -49,3 +50,15 @@ fn non_generic(non_clone_type: &PlainType<u32>) {
non_clone_type; non_clone_type;
//~^ WARN call to `.clone()` on a reference in this situation does nothing //~^ WARN call to `.clone()` on a reference in this situation does nothing
} }
struct DiagnosticClone;
impl Clone for DiagnosticClone {
#[rustc_diagnostic_item = "other_clone"]
fn clone(&self) -> Self {
DiagnosticClone
}
}
fn with_other_diagnostic_item(x: DiagnosticClone) {
x.clone();
}

View File

@ -1,6 +1,7 @@
// check-pass // check-pass
// run-rustfix // run-rustfix
#![feature(rustc_attrs)]
#![allow(unused)] #![allow(unused)]
use std::borrow::Borrow; use std::borrow::Borrow;
@ -49,3 +50,15 @@ fn non_generic(non_clone_type: &PlainType<u32>) {
non_clone_type.clone(); non_clone_type.clone();
//~^ WARN call to `.clone()` on a reference in this situation does nothing //~^ WARN call to `.clone()` on a reference in this situation does nothing
} }
struct DiagnosticClone;
impl Clone for DiagnosticClone {
#[rustc_diagnostic_item = "other_clone"]
fn clone(&self) -> Self {
DiagnosticClone
}
}
fn with_other_diagnostic_item(x: DiagnosticClone) {
x.clone();
}

View File

@ -1,5 +1,5 @@
warning: call to `.clone()` on a reference in this situation does nothing warning: call to `.clone()` on a reference in this situation does nothing
--> $DIR/noop-method-call.rs:15:25 --> $DIR/noop-method-call.rs:16:25
| |
LL | let _ = &mut encoded.clone(); LL | let _ = &mut encoded.clone();
| ^^^^^^^^ help: remove this redundant call | ^^^^^^^^ help: remove this redundant call
@ -8,7 +8,7 @@ LL | let _ = &mut encoded.clone();
= note: `#[warn(noop_method_call)]` on by default = note: `#[warn(noop_method_call)]` on by default
warning: call to `.clone()` on a reference in this situation does nothing warning: call to `.clone()` on a reference in this situation does nothing
--> $DIR/noop-method-call.rs:17:21 --> $DIR/noop-method-call.rs:18:21
| |
LL | let _ = &encoded.clone(); LL | let _ = &encoded.clone();
| ^^^^^^^^ help: remove this redundant call | ^^^^^^^^ help: remove this redundant call
@ -16,7 +16,7 @@ LL | let _ = &encoded.clone();
= note: the type `[u8]` does not implement `Clone`, so calling `clone` on `&[u8]` copies the reference, which does not do anything and can be removed = note: the type `[u8]` does not implement `Clone`, so calling `clone` on `&[u8]` copies the reference, which does not do anything and can be removed
warning: call to `.clone()` on a reference in this situation does nothing warning: call to `.clone()` on a reference in this situation does nothing
--> $DIR/noop-method-call.rs:23:71 --> $DIR/noop-method-call.rs:24:71
| |
LL | let non_clone_type_ref_clone: &PlainType<u32> = non_clone_type_ref.clone(); LL | let non_clone_type_ref_clone: &PlainType<u32> = non_clone_type_ref.clone();
| ^^^^^^^^ help: remove this redundant call | ^^^^^^^^ help: remove this redundant call
@ -24,7 +24,7 @@ LL | let non_clone_type_ref_clone: &PlainType<u32> = non_clone_type_ref.clon
= note: the type `PlainType<u32>` does not implement `Clone`, so calling `clone` on `&PlainType<u32>` copies the reference, which does not do anything and can be removed = note: the type `PlainType<u32>` does not implement `Clone`, so calling `clone` on `&PlainType<u32>` copies the reference, which does not do anything and can be removed
warning: call to `.deref()` on a reference in this situation does nothing warning: call to `.deref()` on a reference in this situation does nothing
--> $DIR/noop-method-call.rs:31:63 --> $DIR/noop-method-call.rs:32:63
| |
LL | let non_deref_type_deref: &PlainType<u32> = non_deref_type.deref(); LL | let non_deref_type_deref: &PlainType<u32> = non_deref_type.deref();
| ^^^^^^^^ help: remove this redundant call | ^^^^^^^^ help: remove this redundant call
@ -32,7 +32,7 @@ LL | let non_deref_type_deref: &PlainType<u32> = non_deref_type.deref();
= note: the type `PlainType<u32>` does not implement `Deref`, so calling `deref` on `&PlainType<u32>` copies the reference, which does not do anything and can be removed = note: the type `PlainType<u32>` does not implement `Deref`, so calling `deref` on `&PlainType<u32>` copies the reference, which does not do anything and can be removed
warning: call to `.borrow()` on a reference in this situation does nothing warning: call to `.borrow()` on a reference in this situation does nothing
--> $DIR/noop-method-call.rs:35:66 --> $DIR/noop-method-call.rs:36:66
| |
LL | let non_borrow_type_borrow: &PlainType<u32> = non_borrow_type.borrow(); LL | let non_borrow_type_borrow: &PlainType<u32> = non_borrow_type.borrow();
| ^^^^^^^^^ help: remove this redundant call | ^^^^^^^^^ help: remove this redundant call
@ -40,7 +40,7 @@ LL | let non_borrow_type_borrow: &PlainType<u32> = non_borrow_type.borrow();
= note: the type `PlainType<u32>` does not implement `Borrow`, so calling `borrow` on `&PlainType<u32>` copies the reference, which does not do anything and can be removed = note: the type `PlainType<u32>` does not implement `Borrow`, so calling `borrow` on `&PlainType<u32>` copies the reference, which does not do anything and can be removed
warning: call to `.clone()` on a reference in this situation does nothing warning: call to `.clone()` on a reference in this situation does nothing
--> $DIR/noop-method-call.rs:44:19 --> $DIR/noop-method-call.rs:45:19
| |
LL | non_clone_type.clone(); LL | non_clone_type.clone();
| ^^^^^^^^ help: remove this redundant call | ^^^^^^^^ help: remove this redundant call
@ -48,7 +48,7 @@ LL | non_clone_type.clone();
= note: the type `PlainType<T>` does not implement `Clone`, so calling `clone` on `&PlainType<T>` copies the reference, which does not do anything and can be removed = note: the type `PlainType<T>` does not implement `Clone`, so calling `clone` on `&PlainType<T>` copies the reference, which does not do anything and can be removed
warning: call to `.clone()` on a reference in this situation does nothing warning: call to `.clone()` on a reference in this situation does nothing
--> $DIR/noop-method-call.rs:49:19 --> $DIR/noop-method-call.rs:50:19
| |
LL | non_clone_type.clone(); LL | non_clone_type.clone();
| ^^^^^^^^ help: remove this redundant call | ^^^^^^^^ help: remove this redundant call