auto merge of #6482 : catamorphism/rust/unsafe-fn-autoderef, r=catamorphism
This commit is contained in:
commit
4e4f90d4a0
1 changed files with 6 additions and 4 deletions
|
@ -9,9 +9,11 @@
|
|||
// option. This file may not be copied, modified, or distributed
|
||||
// except according to those terms.
|
||||
|
||||
// xfail-test
|
||||
type rec = {f: int};
|
||||
fn f(p: *rec) -> int {
|
||||
struct Rec {
|
||||
f: int
|
||||
}
|
||||
|
||||
fn f(p: *Rec) -> int {
|
||||
|
||||
// Test that * ptrs do not autoderef. There is a deeper reason for
|
||||
// prohibiting this, beyond making unsafe things annoying (which doesn't
|
||||
|
@ -25,7 +27,7 @@ fn f(p: *rec) -> int {
|
|||
// are prohibited by various checks, such as that the enum is
|
||||
// instantiable and so forth).
|
||||
|
||||
return p.f; //~ ERROR attempted access of field `f` on type `*rec`
|
||||
return p.f; //~ ERROR attempted access of field `f` on type `*Rec`
|
||||
}
|
||||
|
||||
fn main() {
|
||||
|
|
Loading…
Reference in a new issue