Skip to content

Remove box syntax from rustc_mir_dataflow and rustc_mir_transform#97281

Merged
bors merged 1 commit intorust-lang:masterfrom
est31:remove_box
May 22, 2022
Merged

Remove box syntax from rustc_mir_dataflow and rustc_mir_transform#97281
bors merged 1 commit intorust-lang:masterfrom
est31:remove_box

Commits

Commits on May 22, 2022