diff options
author | Son Ho | 2022-10-20 21:11:57 +0200 |
---|---|---|
committer | Son Ho | 2022-10-20 21:11:57 +0200 |
commit | aa0b10a24b8e6b8323b0741e8573ba4fc6283409 (patch) | |
tree | a6d37eea3cf1d9f10711f6119ebc54f6832890f9 /TODO.md | |
parent | 5e1e4f11dc2f75f20728ea1022b29a67c87bc07c (diff) |
Fix the semantics of drop
Diffstat (limited to '')
-rw-r--r-- | TODO.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -78,7 +78,7 @@ 6. add `mvalue` (meta values) stored in abstractions when ending loans -8. The following doesn't work: +8. The following doesn't work (if we don't expand the symbolic values): ``` fn f1<'c, T>(p : (&'c mut T, &'c mut T)) -> (&'c mut T, &'c mut T) |