Skip to content

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

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

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

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

51bccdd
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.