Skip to content

document the rustc_comptime attribute - #163770

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
mejrs:document_rustc_comptime
Oct 5, 2026
Merged

rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
mejrs:document_rustc_comptime