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-10-20 21:14:01 +00:00
2023-10-08 20:17:53 -07:00
2023-10-22 21:27:46 +08:00
2023-10-20 21:14:01 +00:00
2023-10-20 21:14:01 +00:00
2023-10-17 04:41:20 +00:00
2023-10-22 12:40:00 -07:00
2023-10-16 15:38:08 -07:00
2023-10-24 00:25:32 +00:00
2023-10-23 00:51:35 +00:00
2023-10-21 19:54:51 +00:00
2023-10-20 21:14:01 +00:00
2023-10-23 20:24:09 +00:00
2023-10-20 21:14:01 +00:00
2023-10-23 22:26:29 +02:00
2023-10-23 09:59:40 +00:00
2023-10-16 15:38:08 -07:00
2023-10-18 07:45:56 +00:00
2023-10-20 21:14:02 +00:00
2023-10-16 15:38:08 -07:00
2023-10-20 10:52:24 +00:00
2023-10-21 15:56:01 +00:00
2023-10-23 09:16:13 +00:00
2023-10-18 21:55:15 +00:00
2023-10-08 20:17:53 -07:00
2023-10-20 21:14:01 +00:00
2023-10-23 09:59:40 +00:00
2023-10-11 10:46:55 +11:00
2023-10-23 22:18:45 +00:00
2023-10-13 00:09:30 +00:00
2023-10-06 15:46:11 +00:00
2023-10-23 22:18:45 +00:00
2023-10-20 21:14:01 +00:00
2023-10-18 21:55:15 +00:00
2023-10-21 11:33:05 +02:00
2023-10-21 11:04:19 +00:00
2023-10-08 20:17:53 -07:00
2023-10-10 09:39:47 +08:00
2023-10-23 08:20:29 +00:00
2023-10-20 21:14:01 +00:00
2023-10-23 22:18:45 +00:00
2023-10-21 23:04:17 +02:00
2023-10-24 00:25:32 +00:00
2023-10-24 00:25:32 +00:00
2023-10-21 12:20:05 +11:00
2023-10-20 21:14:01 +00:00
2023-10-08 20:17:53 -07:00
2023-10-20 21:14:01 +00:00
2023-10-08 20:17:53 -07:00
2023-10-20 21:10:38 +00:00
2023-10-08 20:17:53 -07:00
2023-10-22 07:20:36 -07:00
2023-10-22 21:27:46 +08:00
2023-10-08 20:17:53 -07:00
2023-10-23 16:23:52 +02:00
2023-10-23 09:48:15 +00:00
2023-10-23 09:59:40 +00:00
2023-10-21 11:33:05 +02:00
2023-10-22 21:20:30 +08:00
2023-10-23 22:18:45 +00:00
2023-10-18 21:55:15 +00:00
2023-10-20 21:14:01 +00:00
2023-10-20 21:14:01 +00:00
2023-10-21 10:08:17 +02:00
cd674d6179