Dylan DPC
b727132e23
Rollup merge of #108161 - WaffleLapkin:const_param_ty, r=BoxyUwU
...
Add `ConstParamTy` trait
This is a bit sketch, but idk.
r? `@BoxyUwU`
Yet to be done:
- [x] ~~Figure out if it's okay to implement `StructuralEq` for primitives / possibly remove their special casing~~ (it should be okay, but maybe not in this PR...)
- [ ] Maybe refactor the code a little bit
- [x] Use a macro to make impls a bit nicer
Future work:
- [ ] Actually™ use the trait when checking if a `const` generic type is allowed
- [ ] _Really_ refactor the surrounding code
- [ ] Refactor `marker.rs` into multiple modules for each "theme" of markers
2023-05-02 11:44:50 +05:30
..
2023-04-28 11:56:02 +00:00
2023-02-28 07:55:19 +00:00
2023-02-06 14:40:35 +00:00
2023-02-01 18:11:37 +11:00
2023-02-02 05:54:35 +00:00
2023-04-03 22:28:55 -05:00
2023-04-03 22:28:55 -05:00
2023-03-12 13:19:46 +00:00
2023-03-12 13:19:46 +00:00
2023-02-08 17:56:08 +00:00
2023-02-08 17:56:08 +00:00
2023-04-12 22:50:10 +00:00
2023-04-03 22:28:55 -05:00
2023-04-03 22:28:55 -05:00
2023-02-28 07:55:19 +00:00
2023-02-28 07:55:19 +00:00
2023-02-28 07:55:19 +00:00
2023-02-28 07:55:19 +00:00
2023-02-28 07:55:19 +00:00
2023-04-07 05:33:52 +00:00
2023-04-07 05:33:52 +00:00
2023-03-08 15:37:14 +01:00
2023-03-08 15:37:14 +01:00
2023-03-20 20:54:41 +13:00
2023-03-20 20:54:41 +13:00
2023-03-09 21:29:32 +13:00
2023-03-19 20:24:06 +13:00
2023-02-28 07:55:19 +00:00
2023-02-28 07:55:19 +00:00
2023-02-28 07:55:19 +00:00
2023-02-28 07:57:17 +00:00
2023-02-28 07:55:19 +00:00
2023-02-28 07:57:17 +00:00
2023-02-02 06:10:02 +00:00
2023-02-28 07:55:19 +00:00
2023-02-28 07:57:17 +00:00
2023-03-03 14:34:11 +09:00
2023-03-03 14:34:11 +09:00
2023-02-28 19:28:14 +04:00
2023-02-28 19:28:14 +04:00
2023-04-27 01:53:06 +01:00
2023-04-27 01:53:06 +01:00
2023-04-27 01:53:06 +01:00
2023-02-28 07:55:19 +00:00
2023-02-26 11:58:49 +01:00
2023-02-28 07:55:19 +00:00
2023-02-28 07:55:19 +00:00
2023-02-28 07:57:17 +00:00
2023-02-28 07:57:17 +00:00
2023-02-09 15:15:15 +08:00
2023-02-09 15:15:15 +08:00
2023-02-05 17:33:17 +03:00
2023-02-05 17:33:17 +03:00
2023-04-10 06:52:41 +00:00
2023-04-10 06:52:41 +00:00
2023-02-28 07:55:19 +00:00
2023-02-28 07:55:19 +00:00
2023-02-28 07:55:19 +00:00
2023-02-28 07:55:19 +00:00
2023-02-16 03:39:58 +00:00
2023-02-01 06:44:30 +00:00
2023-02-01 06:44:30 +00:00
2023-04-27 01:53:06 +01:00
2023-03-12 13:26:37 +00:00
2023-03-12 13:26:37 +00:00
2023-03-12 13:26:37 +00:00
2023-04-03 22:28:55 -05:00
2023-04-03 22:28:55 -05:00
2023-04-03 22:28:55 -05:00
2023-04-03 22:28:55 -05:00
2023-04-03 22:28:55 -05:00
2023-04-03 22:28:55 -05:00
2023-02-02 17:18:48 +00:00
2023-02-02 17:18:48 +00:00
2023-02-28 07:55:19 +00:00
2023-02-28 07:55:19 +00:00
2023-04-27 01:53:06 +01:00
2023-02-28 07:55:19 +00:00
2023-02-28 07:55:19 +00:00