bors
cd674d6179
Auto merge of #116300 - cjgillot:split-move, r=petrochenkov
...
Separate move path tracking between borrowck and drop elaboration.
The primary goal of this PR is to skip creating a `MovePathIndex` for path that do not need dropping in drop elaboration.
The 2 first commits are cleanups.
The next 2 commits displace `move` errors from move-path builder to borrowck. Move-path builder keeps the same logic, but does not carry error information any more.
The remaining commits allow to filter `MovePathIndex` creation according to types. This is used in drop elaboration, to avoid computing dataflow for paths that do not need dropping.
2023-10-24 00:25:32 +00:00
..
2023-09-29 18:51:59 +08:00
2023-10-21 10:29:40 +00:00
2023-10-08 10:06:17 +00:00
2023-09-23 01:34:50 +00:00
2023-09-23 01:54:05 +00:00
2023-08-26 19:25:46 +00:00
2023-09-23 01:54:05 +00:00
2023-09-25 15:56:36 +00:00
2023-09-21 22:20:58 +02:00
2023-09-21 22:20:58 +02:00
2023-10-18 23:53:18 +00:00
2023-08-17 14:33:33 +02:00
2023-08-17 14:33:33 +02:00
2023-08-17 14:33:33 +02:00
2023-07-07 10:19:30 +08:00
2023-10-18 23:53:18 +00:00
2023-09-21 22:20:58 +02:00
2023-09-21 22:20:58 +02:00
2023-08-26 19:25:46 +00:00
2023-07-10 20:09:26 +00:00
2023-07-10 20:09:26 +00:00
2023-10-03 02:25:32 +00:00
2023-08-08 15:11:23 +00:00
2023-10-05 01:04:41 +00:00
2023-08-15 00:57:18 +08:00
2023-08-28 03:16:48 -07:00
2023-10-11 18:51:56 +00:00
2023-10-04 21:09:54 +00:00
2023-10-20 21:14:01 +00:00
2023-10-20 21:14:01 +00:00
2023-09-10 21:20:36 +00:00
2023-07-04 18:13:31 +08:00
2023-07-04 18:13:31 +08:00
2023-09-29 18:51:59 +08:00
2023-09-29 18:51:59 +08:00
2023-10-02 23:14:29 +00:00
2023-10-11 18:26:44 +00:00
2023-10-11 18:26:44 +00:00
2023-10-11 18:26:44 +00:00
2023-08-15 10:58:33 +00:00
2023-08-15 10:58:33 +00:00
2023-08-16 00:26:10 +08:00
2023-08-16 00:26:10 +08:00
2023-08-16 00:26:10 +08:00
2023-09-29 18:51:59 +08:00
2023-07-28 22:23:21 +02:00
2023-07-28 22:23:21 +02:00
2023-07-28 22:23:21 +02:00
2023-10-05 01:04:41 +00:00
2023-08-08 15:11:23 +00:00
2023-08-08 15:11:23 +00:00
2023-08-08 15:11:23 +00:00
2023-07-10 20:09:28 +00:00
2023-08-03 16:44:02 +08:00
2023-08-14 21:43:56 +00:00
2023-10-18 23:53:18 +00:00
2023-08-28 03:16:48 -07:00
2023-10-04 21:09:54 +00:00
2023-10-20 15:58:25 +00:00
2023-10-20 15:58:25 +00:00
2023-10-20 15:58:25 +00:00
2023-10-04 02:04:14 +00:00
2023-09-21 22:20:58 +02:00
2023-09-21 22:20:58 +02:00
2023-10-02 23:14:29 +00:00
2023-10-08 10:06:17 +00:00
2023-10-08 10:06:17 +00:00
2023-10-08 10:06:17 +00:00
2023-07-14 07:12:35 +08:00
2023-07-14 07:12:35 +08:00
2023-10-04 21:09:54 +00:00
2023-10-04 21:09:54 +00:00
2023-10-04 21:09:54 +00:00
2023-10-17 17:33:55 +00:00
2023-10-18 23:53:18 +00:00
2023-10-20 21:14:01 +00:00
2023-10-20 21:14:01 +00:00