1 files changed, 12 insertions, 0 deletions

diff --git a/src/test/ui/issues/issue-16441.rs b/src/test/ui/issues/issue-16441.rs
new file mode 100644
index 000000000..bafa204e0
--- /dev/null
+++ b/src/test/ui/issues/issue-16441.rs
@@ -0,0 +1,12 @@
+// run-pass
+#![allow(dead_code)]
+// pretty-expanded FIXME #23616
+
+struct Empty;
+
+// This used to cause an ICE
+#[allow(improper_ctypes_definitions)]
+extern "C" fn ice(_a: Empty) {}
+
+fn main() {
+}