Skip to content

Cleanup MirBorrowckCtxt::prefixes#122468

Merged
bors merged 1 commit intorust-lang:masterfrom
beepster4096:borrowck_prefixes_cleanup
Mar 15, 2024
Merged

Cleanup `MirBorrowckCtxt::prefixes`#122468
bors merged 1 commit intorust-lang:masterfrom
beepster4096:borrowck_prefixes_cleanup

Commits

Commits on Mar 13, 2024