Ralf Jung
201ae73872
make PointerKind directly reflect pointer types
...
The code that consumes PointerKind (`adjust_for_rust_scalar` in rustc_ty_utils)
ended up using PointerKind variants to talk about Rust reference types (& and
&mut) anyway, making the old code structure quite confusing: one always had to
keep in mind which PointerKind corresponds to which type. So this changes
PointerKind to directly reflect the type.
This does not change behavior.
2023-02-06 11:46:32 +01:00
..
2023-02-02 07:34:41 +01:00
2023-02-06 11:46:32 +01:00
2022-12-10 18:45:34 +01:00
2022-12-10 18:45:34 +01:00
2023-02-03 23:04:51 +05:30
2023-01-28 09:55:26 +00:00
2023-01-19 13:52:15 +01:00
2023-02-02 08:17:13 +00:00
2023-01-05 19:01:12 +01:00
2022-11-18 14:46:36 -08:00
2023-02-04 20:29:06 +01:00
2023-02-02 22:06:23 +00:00
2023-01-29 04:11:27 +00:00
2023-01-30 17:11:35 +00:00
2023-01-31 23:38:51 +01:00
2023-02-04 15:17:32 +00:00
2023-02-05 03:47:48 +01:00
2023-02-03 08:33:40 -08:00
2023-02-02 07:47:39 +01:00
2023-02-02 07:34:41 +01:00
2023-01-31 20:28:11 +01:00
2023-02-05 17:33:10 +03:00
2023-02-01 21:56:28 +01:00
2023-02-05 03:47:22 +01:00
2023-01-31 19:24:29 +00:00
2022-12-01 17:34:43 +00:00
2023-01-05 19:01:12 +01:00
2023-01-30 17:50:08 +01:00
2023-02-03 21:37:41 +00:00
2023-01-30 12:26:26 +00:00
2023-02-03 21:37:41 +00:00
2023-01-30 17:11:35 +00:00
2023-01-19 15:25:33 +00:00
2023-02-06 09:16:15 +11:00
2023-02-05 03:48:08 +01:00
2023-01-17 08:09:33 +00:00
2023-02-05 17:32:26 +00:00
2023-01-31 20:28:11 +01:00
2023-02-02 10:09:48 +00:00
2023-01-12 00:17:48 +09:00
2023-02-01 21:49:45 +01:00
2023-02-05 03:47:38 +01:00
2023-02-06 11:46:32 +01:00
2023-02-02 23:09:51 +00:00
2023-01-23 23:56:22 +00:00
2023-02-02 23:20:29 +00:00
2023-01-31 10:20:58 +00:00
2023-02-05 17:33:10 +03:00
2023-02-03 06:30:23 +01:00
2023-02-05 03:47:58 +01:00
2023-01-28 09:55:26 +00:00
2023-02-02 05:49:07 +00:00
2023-01-17 08:09:33 +00:00
2023-02-02 08:17:13 +00:00
2023-01-31 07:54:01 +00:00
2022-12-10 18:45:34 +01:00
2023-02-05 04:01:20 +01:00
2023-02-02 08:17:13 +00:00
2023-01-27 18:58:44 +00:00
2023-02-02 05:26:09 +00:00
2023-02-03 21:36:59 +00:00
2023-01-30 22:18:20 +00:00
2023-01-18 10:22:21 -08:00
2023-02-06 11:46:32 +01:00
2023-01-27 19:00:26 +00:00