charon_driver::translate::translate_bodies

Function translate_borrow_kind

Source 
fn translate_borrow_kind(borrow_kind: BorrowKind) -> BorrowKind
Expand description

Translate a BorrowKind