about summary refs log tree commit diff
path: root/src/test/ui/unsafe/unsafe-fn-autoderef.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/unsafe/unsafe-fn-autoderef.rs')
-rw-r--r--src/test/ui/unsafe/unsafe-fn-autoderef.rs23
1 files changed, 0 insertions, 23 deletions
diff --git a/src/test/ui/unsafe/unsafe-fn-autoderef.rs b/src/test/ui/unsafe/unsafe-fn-autoderef.rs
deleted file mode 100644
index 60460fc6e49..00000000000
--- a/src/test/ui/unsafe/unsafe-fn-autoderef.rs
+++ /dev/null
@@ -1,23 +0,0 @@
-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() {
-}