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-callAug 20, 2023
+62-62

Commits

Commits on Aug 19, 2023