bors
317d14a56c
Auto merge of #118230 - nnethercote:streamline-dataflow-cursors, r=cjgillot
...
Streamline MIR dataflow cursors
`rustc_mir_dataflow` has two kinds of results (`Results` and `ResultsCloned`) and three kinds of results cursor (`ResultsCursor`, `ResultsClonedCursor`, `ResultsRefCursor`). I found this quite confusing.
This PR removes `ResultsCloned`, `ResultsClonedCursor`, and `ResultsRefCursor`, leaving just `Results` and `ResultsCursor`. This makes the relevant code shorter and easier to read, and there is no performance penalty.
r? `@cjgillot`
2023-12-05 02:36:50 +00:00
..
2023-12-02 09:01:34 +11:00
2023-12-04 02:24:10 +01:00
2023-12-02 13:38:47 +00:00
2023-12-03 16:24:56 +03:00
2023-12-02 02:48:34 +00:00
2023-11-29 12:34:47 +01:00
2023-12-02 09:01:35 +11:00
2023-12-02 02:48:34 +00:00
2023-12-02 02:48:34 +00:00
2023-11-25 13:08:29 +00:00
2023-11-26 08:38:40 +11:00
2023-12-03 08:11:15 +01:00
2023-12-04 21:19:45 +09:00
2023-12-04 20:46:09 +01:00
2023-11-29 18:00:03 +03:00
2023-12-01 00:08:04 +00:00
2023-11-28 20:40:38 +00:00
2023-11-26 08:37:27 +11:00
2023-12-02 09:01:34 +11:00
2023-12-02 09:01:35 +11:00
2023-12-02 02:48:34 +00:00
2023-11-26 08:38:02 +11:00
2023-11-23 14:11:02 +03:00
2023-12-03 16:24:56 +03:00
2023-12-02 09:01:19 +11:00
2023-11-29 03:58:29 +01:00
2023-12-03 18:57:49 +00:00
2023-12-02 09:01:34 +11:00
2023-11-27 09:37:01 +11:00
2023-12-04 10:40:36 +01:00
2023-12-02 09:01:35 +11:00
2023-12-02 02:48:34 +00:00
2023-12-01 12:10:07 +08:00
2023-12-01 21:45:18 +00:00
2023-12-02 09:01:35 +11:00
2023-12-03 16:24:56 +03:00
2023-12-04 07:06:36 +00:00
2023-11-27 10:35:43 +11:00
2023-12-05 02:36:50 +00:00
2023-11-26 21:05:08 +08:00
2023-12-03 03:05:17 +00:00
2023-12-02 09:01:19 +11:00
2023-12-02 02:48:34 +00:00
2023-11-27 18:13:15 +03:00
2023-12-02 09:01:35 +11:00
2023-12-03 16:24:56 +03:00
2023-11-22 22:49:22 -05:00
2023-12-03 21:28:32 +01:00
2023-12-01 16:22:06 -08:00
2023-12-02 09:01:19 +11:00
2023-12-03 16:24:56 +03:00
2023-11-28 10:39:37 +09:00
2023-12-04 21:19:43 +09:00
2023-11-22 21:09:01 +00:00
2023-12-04 21:19:45 +09:00
2023-11-22 21:09:01 +00:00
2023-12-01 16:22:06 -08:00