Matthias Krüger
20473eba0b
Rollup merge of #118394 - nnethercote:rm-hir-Ops, r=cjgillot
...
Remove HIR opkinds
`hir::BinOp`, `hir::BinOpKind`, and `hir::UnOp` are identical to `ast::BinOp`, `ast::BinOpKind`, and `ast::UnOp`, respectively. This seems silly, so this PR removes the HIR ones. (A re-export lets the AST ones be referred to using a `hir::` qualifier, which avoids renaming churn.)
r? `@cjgillot`
2023-11-29 04:23:23 +01:00
..
2023-10-30 08:46:02 +11:00
2023-11-21 20:13:40 +01:00
2023-11-15 19:41:28 -05:00
2023-11-29 04:23:23 +01:00
2023-11-29 04:23:23 +01:00
2023-11-26 08:38:40 +11:00
2023-11-29 04:23:23 +01:00
2023-11-27 12:29:21 +01:00
2023-11-15 19:41:28 -05:00
2023-11-27 13:54:50 -05:00
2023-11-26 08:38:40 +11:00
2023-11-25 13:08:29 +00:00
2023-11-26 08:38:40 +11:00
2023-11-27 21:54:03 +00:00
2023-11-28 16:09:55 +01:00
2023-11-26 12:41:21 +03:00
2023-11-23 20:10:44 -05:00
2023-11-15 19:41:28 -05:00
2023-11-26 18:02:47 +00:00
2023-11-15 19:41:28 -05:00
2023-11-26 08:37:27 +11:00
2023-11-26 08:38:40 +11:00
2023-11-26 08:38:40 +11:00
2023-11-23 17:27:31 +03:00
2023-11-26 08:38:02 +11:00
2023-10-30 08:46:02 +11:00
2023-11-23 14:11:02 +03:00
2023-11-28 12:14:25 +11:00
2023-11-27 17:11:35 +00:00
2023-11-25 18:02:11 +00:00
2023-11-28 08:23:47 +00:00
2023-11-26 14:43:02 +00:00
2023-11-22 18:38:17 +11:00
2023-11-27 09:37:01 +11:00
2023-11-29 04:23:22 +01:00
2023-11-28 15:39:31 +03:00
2023-10-30 08:46:02 +11:00
2023-11-28 09:45:40 +11:00
2023-11-18 12:21:58 +01:00
2023-11-27 21:54:03 +00:00
2023-11-11 15:24:33 +01:00
2023-11-21 05:49:45 +00:00
2023-11-26 16:42:32 +00:00
2023-11-28 15:39:31 +03:00
2023-11-28 10:21:41 +00:00
2023-11-25 17:23:34 -05:00
2023-11-27 13:54:50 -05:00
2023-11-26 21:05:08 +08:00
2023-11-29 04:23:23 +01:00
2023-11-15 14:55:35 +00:00
2023-11-26 12:41:21 +03:00
2023-11-26 15:44:54 +01:00
2023-11-27 18:13:15 +03:00
2023-11-27 18:13:15 +03:00
2023-11-28 16:17:52 +03:00
2023-11-22 22:49:22 -05:00
2023-11-26 18:02:42 +00:00
2023-11-27 19:06:47 -05:00
2023-11-27 19:08:27 +01:00
2023-11-26 21:05:08 +08:00
2023-11-27 21:54:03 +00:00
2023-11-27 19:37:35 +00:00
2023-11-22 21:09:01 +00:00
2023-11-22 08:13:21 +11:00
2023-11-28 15:39:31 +03:00
2023-11-22 21:09:01 +00:00
2023-11-27 19:06:47 -05:00