[AddressLowering] End borrow scopes for extracts/destructures at enclosing guaranteed boundary. #67384
atrick
commented
on 2023-07-19
[SILVerifier] NFC: De-typo'd.
8c00a37f
[AddressLowering] Fixed destructures' end_borrows.
04978e2c
[AddressLowering] Fix extract's end_borrows.
4c5ce62c
nate-chandler
deleted the opaque-values/20230718/1/emit_end_borrows/destructure_and_extract branch 2 years ago
Assignees
No one assigned
Login to write a write a comment.
Login via GitHub