Skip to content

Rename variant AddrOfRegion of RegionVariableOrigin to BorrowRegion#130070

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

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

Commits

Commits on Sep 7, 2024