Skip to content

match lowering: Clarify the main loop of the algorithm#127164

Merged
bors merged 7 commits intorust-lang:masterfrom
Nadrieril:clean-lowering-loop
Jul 12, 2024
Merged

match lowering: Clarify the main loop of the algorithm#127164
bors merged 7 commits intorust-lang:masterfrom
Nadrieril:clean-lowering-loop

Commits

Commits on Jul 9, 2024