commit aba7ab1bb097efb3b1a2246ed6e72e00c06ae47e
author David Tolnay <dtolnay@gmail.com> Mon Mar 22 16:56:15 2021 -0700
committer David Tolnay <dtolnay@gmail.com> Mon Mar 22 19:18:18 2021 -0700
tree e6ac5d5a0ce283b168629d915f8d5f1ba3a8a431
parent b8682334c8f71f55bd35b6cb2709294cc6e83d92

Detect pointer argument inside of function pointer

syntax/check.rs

diff --git a/syntax/check.rs b/syntax/check.rs
index 2c03bdf..5430428 100644
--- a/syntax/check.rs
+++ b/syntax/check.rs
@@ -272,6 +272,17 @@
     if ty.throws {
         cx.error(ty, "function pointer returning Result is not supported yet");
     }
+
+    for arg in &ty.args {
+        if let Type::Ptr(_) = arg.ty {
+            if ty.unsafety.is_none() {
+                cx.error(
+                    arg,
+                    "pointer argument requires that the function pointer be marked unsafe",
+                );
+            }
+        }
+    }
 }
 
 fn check_api_struct(cx: &mut Check, strct: &Struct) {