summaryrefslogtreecommitdiffstats
path: root/tests/ui/unsafe/unsafe-fn-autoderef.rs
blob: 60460fc6e49de518d3be546d1ded34467b1365c8 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
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() {
}