Skip to content

Rename variant AddrOfRegion of RegionVariableOrigin to BorrowRegion#130070

Merged
bors merged 1 commit into
rust-lang:masterfrom
gurry:rename-regionkind-addof-to-ref
Sep 9, 2024
Merged

Rename variant AddrOfRegion of RegionVariableOrigin to BorrowRegion#130070
bors merged 1 commit into
rust-lang:masterfrom
gurry:rename-regionkind-addof-to-ref

Rename variant `AddrOfRegion` of `RegionVariableOrigin` to `BorrowReg…

c0b0627
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs