ridiculousfish
cfdcaf880f
Simplify scoped_push and ScopedGuard
...
This makes some simplifications to scoped_push and ScopeGuard:
1. ScopeGuard no longer uses ManuallyDrop; the memory management is now
trivial and no longer requires `unsafe`.
2. The functions `cancel` and `rollback` have been removed, as
these were unused. They can be added back later if needed.
3. `scoped_push` has been simplified in both signature and implementation.
4. `Projection` is no longer required and has been removed.
Also add some tests.
2023-06-04 12:14:53 -07:00
..
2023-05-21 11:50:24 -07:00
2023-05-25 16:54:07 -05:00
2023-03-05 00:54:17 -06:00
2023-04-16 17:21:54 +02:00
2023-05-23 17:43:23 +02:00
2023-05-07 15:15:56 -07:00
2023-05-02 19:03:51 +02:00
2023-06-03 12:15:45 -07:00
2023-06-04 12:14:53 -07:00
2023-04-21 13:57:29 +02:00
2023-04-21 13:57:29 +02:00
2023-05-25 16:54:07 -05:00
2023-05-26 22:59:55 -05:00
2023-04-30 16:22:57 -07:00
2023-04-21 13:57:29 +02:00
2023-05-25 16:54:07 -05:00
2023-04-29 11:02:59 -05:00
2023-02-19 15:42:03 -06:00
2023-04-22 22:25:34 +02:00
2023-03-26 17:40:24 -07:00
2023-02-05 11:57:25 +01:00
2023-05-25 16:54:07 -05:00
2023-04-16 17:46:56 +02:00
2023-05-25 16:54:07 -05:00
2023-02-08 21:49:54 +01:00
2023-03-26 19:35:57 +02:00
2023-04-16 17:46:56 +02:00
2023-05-02 11:29:18 -05:00
2023-04-16 17:21:54 +02:00
2023-06-01 23:17:13 +08:00
2023-03-26 17:40:24 -07:00
2023-02-25 12:24:25 +01:00
2023-05-07 15:15:56 -07:00
2023-04-19 01:03:16 +02:00
2023-05-25 16:54:07 -05:00
2023-05-02 19:03:51 +02:00
2023-05-02 19:03:51 +02:00
2023-05-02 19:03:51 +02:00
2023-04-21 13:57:29 +02:00
2023-05-05 19:35:17 -05:00
2023-06-01 23:17:13 +08:00
2023-05-02 13:15:02 -05:00
2023-05-25 16:54:07 -05:00
2023-04-16 17:21:54 +02:00
2023-05-02 11:51:56 -05:00
2023-02-02 19:34:48 -07:00
2023-05-25 16:54:07 -05:00
2023-05-25 16:54:07 -05:00
2023-02-25 12:24:25 +01:00
2023-04-16 22:26:46 +02:00
2023-04-19 01:03:16 +02:00
2023-04-22 22:25:34 +02:00
2023-04-22 22:25:34 +02:00
2023-02-05 12:22:42 +01:00
2023-04-16 17:21:54 +02:00
2023-05-25 16:54:07 -05:00
2023-05-07 15:15:56 -07:00
2023-04-02 15:17:06 +02:00
2023-04-29 17:02:18 -07:00
2023-03-05 10:32:20 +01:00
2023-04-02 15:17:06 +02:00