Fixes issue #11004
This commit is contained in:
@@ -3000,6 +3000,10 @@ impl<'a, 'gcx, 'tcx> FnCtxt<'a, 'gcx, 'tcx> {
|
|||||||
but no field with that name was found",
|
but no field with that name was found",
|
||||||
field.node, actual)
|
field.node, actual)
|
||||||
}, expr_t);
|
}, expr_t);
|
||||||
|
if let ty::TyRawPtr(..) = expr_t.sty {
|
||||||
|
err.note(&format!("`{0}` is a native pointer; perhaps you need to deref with \
|
||||||
|
`(*{0}).{1}`", pprust::expr_to_string(base), field.node));
|
||||||
|
}
|
||||||
if let ty::TyStruct(def, _) = expr_t.sty {
|
if let ty::TyStruct(def, _) = expr_t.sty {
|
||||||
Self::suggest_field_names(&mut err, def.struct_variant(), field, vec![]);
|
Self::suggest_field_names(&mut err, def.struct_variant(), field, vec![]);
|
||||||
}
|
}
|
||||||
|
|||||||
39
src/test/compile-fail/issue-11004.rs
Normal file
39
src/test/compile-fail/issue-11004.rs
Normal file
@@ -0,0 +1,39 @@
|
|||||||
|
// Copyright 2016 The Rust Project Developers. See the COPYRIGHT
|
||||||
|
// file at the top-level directory of this distribution and at
|
||||||
|
// http://rust-lang.org/COPYRIGHT.
|
||||||
|
//
|
||||||
|
// 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.
|
||||||
|
|
||||||
|
use std::mem;
|
||||||
|
|
||||||
|
struct A { x: i32, y: f64 }
|
||||||
|
|
||||||
|
#[cfg(not(works))]
|
||||||
|
unsafe fn access(n:*mut A) -> (i32, f64) {
|
||||||
|
let x : i32 = n.x; //~ ERROR attempted access of field `x`
|
||||||
|
//~| NOTE `n` is a native pointer; perhaps you need to deref with `(*n).x`
|
||||||
|
let y : f64 = n.y; //~ ERROR attempted access of field `y`
|
||||||
|
//~| NOTE `n` is a native pointer; perhaps you need to deref with `(*n).y`
|
||||||
|
(x, y)
|
||||||
|
}
|
||||||
|
|
||||||
|
#[cfg(works)]
|
||||||
|
unsafe fn access(n:*mut A) -> (i32, f64) {
|
||||||
|
let x : i32 = (*n).x;
|
||||||
|
let y : f64 = (*n).y;
|
||||||
|
(x, y)
|
||||||
|
}
|
||||||
|
|
||||||
|
fn main() {
|
||||||
|
let a : A = A { x: 3, y: 3.14 };
|
||||||
|
let p : &A = &a;
|
||||||
|
let (x,y) = unsafe {
|
||||||
|
let n : *mut A = mem::transmute(p);
|
||||||
|
access(n)
|
||||||
|
};
|
||||||
|
println!("x: {}, y: {}", x, y);
|
||||||
|
}
|
||||||
Reference in New Issue
Block a user