diff options
| -rw-r--r-- | Notes/todo.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Notes/todo.txt b/Notes/todo.txt index 113042e1..5d8269b2 100644 --- a/Notes/todo.txt +++ b/Notes/todo.txt @@ -1,6 +1,6 @@ TODO: -- Drops in MIR - MIR Validation pass +- Audit TODOs in codebase - Save HIR+MIR into crate metadata - Method and type monomorphisation - Test compile against a no_std program |