Pre-RFC: Sandboxed, deterministic, reproducible, efficient Wasm compilation of proc macros

Feature Name: proc_macro_sandbox Start Date: 2023-08-20 Summary Procedural macro crates can opt-in to precompilation to WebAssembly as part of the publish process. The crate compiles locally (as already done by cargo publish) and then is securely verified by a crates.io-managed service, conceptually similar to docs.rs, which enforces that sources in the crate exactly reproduce the Wasm artifact be

[tanakh]

proc-macroは任意のコードをコンパイル時に実行できるんで、そこにサンドボックスを導入したい。また環境によっても動作が変わるかもしれんので、そこにwasmを用いればうまくやれるのでは的な提案かな(´･_･`)

[efcl]

Cratesでマクロがあると実行時間や任意のコード実行ができるので、それをどうにかしたいという話。pre-compileされたバイナリを配布はできるが、それだと監査がしにくいという話