SmartPointer derive-macro

Co-authored-by: Wedson Almeida Filho <walmeida@microsoft.com>
model-checking · Jun 23, 2024 · 7c83a04 · 7c83a04
1 parent 12ec5b7
commit 7c83a04
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/core/src/marker.rs b/core/src/marker.rs
@@ -1018,3 +1018,12 @@ pub trait FnPtr: Copy + Clone {
     #[lang = "fn_ptr_addr"]
     fn addr(self) -> *const ();
 }
+
+/// Derive macro generating impls of traits related to smart pointers.
+#[cfg(not(bootstrap))]
+#[rustc_builtin_macro]
+#[allow_internal_unstable(dispatch_from_dyn, coerce_unsized, unsize)]
+#[unstable(feature = "derive_smart_pointer", issue = "123430")]
+pub macro SmartPointer($item:item) {
+    /* compiler built-in */
+}