Skip to content

custom mir: make it clear what the return block is#119325

Merged
bors merged 2 commits into
rust-lang:masterfrom
RalfJung:custom-mir
Jan 4, 2024
Merged

custom mir: make it clear what the return block is#119325
bors merged 2 commits into
rust-lang:masterfrom
RalfJung:custom-mir

custom mir: better type-checking

4bf2794
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs