Skip to content

custom_mir: change Call() terminator syntax to something more readable#115000

Merged
bors merged 1 commit intorust-lang:masterfrom
RalfJung:custom-mir-call
Aug 20, 2023
Merged

custom_mir: change Call() terminator syntax to something more readable#115000
bors merged 1 commit intorust-lang:masterfrom
RalfJung:custom-mir-call

Commits

Commits on Aug 19, 2023