Rollup merge of #91364 - FabianWolff:issue-91210-ptr-field, r=oli-obk

Improve error message for incorrect field accesses through raw pointers

Fixes #91210.
This commit is contained in:
Matthias Krüger 2021-12-02 22:16:11 +01:00 committed by GitHub
commit 7483211ed5
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
4 changed files with 72 additions and 1 deletions

View file

@ -46,6 +46,7 @@
use rustc_span::lev_distance::find_best_match_for_name;
use rustc_span::source_map::Span;
use rustc_span::symbol::{kw, sym, Ident, Symbol};
use rustc_span::{BytePos, Pos};
use rustc_trait_selection::traits::{self, ObligationCauseCode};
impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
@ -2063,7 +2064,36 @@ fn ban_take_value_of_method(&self, expr: &hir::Expr<'_>, expr_t: Ty<'tcx>, field
Some(span),
);
} else {
err.help("methods are immutable and cannot be assigned to");
let mut found = false;
if let ty::RawPtr(ty_and_mut) = expr_t.kind() {
if let ty::Adt(adt_def, _) = ty_and_mut.ty.kind() {
if adt_def.variants.len() == 1
&& adt_def
.variants
.iter()
.next()
.unwrap()
.fields
.iter()
.any(|f| f.ident == field)
{
if let Some(dot_loc) = expr_snippet.rfind('.') {
found = true;
err.span_suggestion(
expr.span.with_hi(expr.span.lo() + BytePos::from_usize(dot_loc)),
"to access the field, dereference first",
format!("(*{})", &expr_snippet[0..dot_loc]),
Applicability::MaybeIncorrect,
);
}
}
}
}
if !found {
err.help("methods are immutable and cannot be assigned to");
}
}
err.emit();

View file

@ -0,0 +1,15 @@
// Regression test for issue #91210.
// run-rustfix
#![allow(unused)]
struct Foo { read: i32 }
unsafe fn blah(x: *mut Foo) {
(*x).read = 4;
//~^ ERROR: attempted to take value of method
//~| HELP: to access the field, dereference first
}
fn main() {}

View file

@ -0,0 +1,15 @@
// Regression test for issue #91210.
// run-rustfix
#![allow(unused)]
struct Foo { read: i32 }
unsafe fn blah(x: *mut Foo) {
x.read = 4;
//~^ ERROR: attempted to take value of method
//~| HELP: to access the field, dereference first
}
fn main() {}

View file

@ -0,0 +1,11 @@
error[E0615]: attempted to take value of method `read` on type `*mut Foo`
--> $DIR/issue-91210-ptr-method.rs:10:7
|
LL | x.read = 4;
| - ^^^^ method, not a field
| |
| help: to access the field, dereference first: `(*x)`
error: aborting due to previous error
For more information about this error, try `rustc --explain E0615`.