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-10 23:06:14 +02:00
2023-09-10 23:06:14 +02:00
2023-09-10 23:06:14 +02:00
2023-09-10 23:06:14 +02:00
2023-09-10 23:06:14 +02:00
2023-09-10 23:06:14 +02:00
2023-05-08 03:36:30 +00:00
2023-05-12 00:10:52 +00:00
2023-05-08 03:36:30 +00:00
2023-05-08 03:36:30 +00:00
2023-05-12 00:10:52 +00:00
2023-05-01 16:15:13 +08:00
2023-05-01 16:15:13 +08:00
2023-05-12 00:10:52 +00:00
2023-04-16 11:38:52 +00:00
2023-07-03 09:12:15 +02:00
2023-08-25 19:05:38 +00:00
2023-05-08 03:36:30 +00:00
2023-10-04 19:51:43 +00:00
2023-10-04 19:51:43 +00:00
2023-06-26 08:56:32 +00:00
2023-05-02 22:36:24 +00:00
2023-05-08 03:36:30 +00:00