From e86cfa0577af318b408fc786fa2fcac0a9961371 Mon Sep 17 00:00:00 2001
From: KaiTomotake <kaitomotake@gmail.com>
Date: Thu, 22 Jan 2026 11:57:45 +0900
Subject: [PATCH] add foregin type tests

add tests/ui/rfcs/rfc-1861-extern-types/comparison.rs
---
 .../rfcs/rfc-1861-extern-types/comparison.rs  | 35 +++++++++++++++++++
 1 file changed, 35 insertions(+)
 create mode 100644 tests/ui/rfcs/rfc-1861-extern-types/comparison.rs

diff --git a/tests/ui/rfcs/rfc-1861-extern-types/comparison.rs b/tests/ui/rfcs/rfc-1861-extern-types/comparison.rs
new file mode 100644
index 000000000000..6504fd64f64d
--- /dev/null
+++ b/tests/ui/rfcs/rfc-1861-extern-types/comparison.rs
@@ -0,0 +1,35 @@
+// Foreign type tests not covering all operations
+//@ only-nightly
+//@ build-pass
+
+#![feature(extern_types)]
+
+#![allow(ambiguous_wide_pointer_comparisons)]
+
+extern "C" {
+    type ForeignType;
+}
+
+#[repr(C)]
+struct Example {
+    field: ForeignType,
+}
+
+fn main() {
+    // pointer comparison
+    let a = std::ptr::null::<ForeignType>();
+    let b = std::ptr::null::<ForeignType>();
+
+    assert!(a == b);
+
+    // field address computation
+    let p = std::ptr::null::<Example>();
+    unsafe {
+        let _ = &(*p).field;
+    }
+
+    // pointer casts involving extern types
+    let raw = std::ptr::null::<()>();
+    let ext = raw as *const ForeignType;
+    let _ = ext as *const ();
+}