Allow --crate-type proc-macro and trace tests for it

Urhengulas · Urhengulas · commit df0bdb92738a · 2026-04-12T23:24:39.000+02:00
diff --git a/ferrocene/doc/user-manual/src/rustc/cli.rst b/ferrocene/doc/user-manual/src/rustc/cli.rst
@@ -642,8 +642,9 @@
 
       .. caution::
 
-         Only the ``bin``, ``lib``, ``rlib`` and ``staticlib`` crate types can
-         be used in a safety critical context.
+         Only the ``bin``, ``lib``, ``proc-macro``, ``rlib`` and ``staticlib`` crate types can be used in a safety critical context.
+
+         For usage of ``--crate-type proc-macro`` see the next entry.
 
       Compiler argument ``--crate-type`` specifies the type of crate to build.
 
@@ -682,6 +683,15 @@
 
          $ rustc --crate-type dylib --crate-type rlib my_library.rs
 
+   .. cli:option:: --crate-type proc-macro
+      :category: narrow
+
+      All of :cli:option:`--crate-type \<types\> <rustc --crate-type <types>>` applies to ``--crate-type proc-macro`` as well.
+
+      The crate type ``proc-macro`` allows to use the ``proc_macro`` library and the proc macro attributes ``#[proc_macro]``, ``#[proc_macro_attribute]`` and ``#[proc_macro_derive]``.
+
+      The crate type ``proc-macro`` cannot be used in combination with other crate types.
+
    .. cli:option:: -D <lints>
       :category: narrow
 
diff --git a/tests/ui/ferrocene/compiler-arguments/crate-type/crate-type_proc-macro-no-proc-macro.rs b/tests/ui/ferrocene/compiler-arguments/crate-type/crate-type_proc-macro-no-proc-macro.rs
@@ -11,3 +11,4 @@ pub fn foo(input: TokenStream) -> TokenStream { //~ ERROR `proc-macro` crate
 }
 
 // ferrocene-annotations: um_rustc_crate_type
+// ferrocene-annotations: um_rustc_crate_type_proc_macro
diff --git a/tests/ui/ferrocene/compiler-arguments/crate-type/crate-type_proc-macro.rs b/tests/ui/ferrocene/compiler-arguments/crate-type/crate-type_proc-macro.rs
@@ -12,3 +12,4 @@ pub fn foo(input: TokenStream) -> TokenStream {
 }
 
 // ferrocene-annotations: um_rustc_crate_type
+// ferrocene-annotations: um_rustc_crate_type_proc_macro
diff --git a/tests/ui/proc-macro/ferrocene-annotations b/tests/ui/proc-macro/ferrocene-annotations
@@ -12,3 +12,5 @@
 //
 // ferrocene-annotations: fls_gvwd0kf72jt
 // Attributes
+//
+// ferrocene-annotations: um_rustc_crate_type_proc_macro

Original file line number	Diff line number	Diff line change
@@ -11,3 +11,4 @@ pub fn foo(input: TokenStream) -> TokenStream { //~ ERROR `proc-macro` crate
`11`	`11`	`}`
`12`	`12`
`13`	`13`	`// ferrocene-annotations: um_rustc_crate_type`
	`14`	`+// ferrocene-annotations: um_rustc_crate_type_proc_macro`
Original file line number	Diff line number	Diff line change
`@@ -12,3 +12,4 @@ pub fn foo(input: TokenStream) -> TokenStream {`
`12`	`12`	`}`
`13`	`13`
`14`	`14`	`// ferrocene-annotations: um_rustc_crate_type`
	`15`	`+// ferrocene-annotations: um_rustc_crate_type_proc_macro`