| struct Rec { | |
| f: isize | |
| } | |
| fn f(p: *const Rec) -> isize { | |
| // Test that * ptrs do not autoderef. There is a deeper reason for | |
| // prohibiting this, beyond making unsafe things annoying (which doesn't | |
| // actually seem desirable to me). The deeper reason is that if you | |
| // have a type like: | |
| // | |
| // enum foo = *foo; | |
| // | |
| // you end up with an infinite auto-deref chain, which is | |
| // currently impossible (in all other cases, infinite auto-derefs | |
| // are prohibited by various checks, such as that the enum is | |
| // instantiable and so forth). | |
| return p.f; //~ ERROR no field `f` on type `*const Rec` | |
| } | |
| fn main() { | |
| } |