Skip to content

Rename variant AddrOfRegion of RegionVariableOrigin to BorrowRegion#130070

Merged
bors merged 1 commit intorust-lang:masterfrom gurry:rename-regionkind-addof-to-refSep 9, 2024
+5-5

Commits

Commits on Sep 7, 2024