From 9490bbc564d07db34a96d0fe0a4296ae48f239cb Mon Sep 17 00:00:00 2001 From: Son Ho Date: Thu, 13 Jan 2022 20:53:56 +0100 Subject: Update the TODO list --- TODO.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/TODO.md b/TODO.md index 62463d6a..37cfe986 100644 --- a/TODO.md +++ b/TODO.md @@ -2,10 +2,6 @@ * write an interesting example to study with Jonathan -* update the assignment to move the destination value (which will be overriden) - to a dummy variable, and end all the outer borrows. - Also update pop_frame. - * add option for: `allow_borrow_overwrites_on_input_values` (rather: `will_overwrite_input_borrows`) (but always disallow borrow overwrites on returned values) @@ -73,3 +69,7 @@ # DONE + +* update the assignment to move the destination value (which will be overriden) + to a dummy variable, and end all the outer borrows. + Also update pop_frame. -- cgit v1.2.3