Skip to content

match lowering: Remove the make_target_blocks hack#119112

Merged
bors merged 1 commit intorust-lang:masterfrom
Nadrieril:remove-target_blocks-hack
Dec 19, 2023
Merged

match lowering: Remove the `make_target_blocks` hack#119112
bors merged 1 commit intorust-lang:masterfrom
Nadrieril:remove-target_blocks-hack

Commits

Commits on Dec 19, 2023