Skip to content

Port #[custom_mir(..)] to the new attribute system#145206

Merged
bors merged 1 commit intorust-lang:masterfrom
scrabsha:push-uxovoqzrxnlx
Aug 18, 2025
Merged

Port `#[custom_mir(..)]` to the new attribute system#145206
bors merged 1 commit intorust-lang:masterfrom
scrabsha:push-uxovoqzrxnlx

Commits

Commits on Aug 15, 2025