summary refs log tree commit diff
path: root/compiler/rustc_span/src
diff options
context:
space:
mode:
authorDylan DPC <99973273+Dylan-DPC@users.noreply.github.com>2023-05-02 11:44:50 +0530
committerGitHub <noreply@github.com>2023-05-02 11:44:50 +0530
commitb727132e23aaa4e80eb82816d95c20023940f916 (patch)
tree95fb9d868e6a15a303950217f2519a381bf5b805 /compiler/rustc_span/src
parentf916c44aecfc6c610f2d23cf929644aa08123547 (diff)
parentc31754651da17b207fa7fb94c2f3ba2c188aa0b1 (diff)
downloadrust-b727132e23aaa4e80eb82816d95c20023940f916.tar.gz
rust-b727132e23aaa4e80eb82816d95c20023940f916.zip
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
Diffstat (limited to 'compiler/rustc_span/src')
-rw-r--r--compiler/rustc_span/src/symbol.rs1
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/rustc_span/src/symbol.rs b/compiler/rustc_span/src/symbol.rs
index 31bbdb2a3bc..7969b848fd9 100644
--- a/compiler/rustc_span/src/symbol.rs
+++ b/compiler/rustc_span/src/symbol.rs
@@ -531,6 +531,7 @@ symbols! {
         const_mut_refs,
         const_panic,
         const_panic_fmt,
+        const_param_ty,
         const_precise_live_drops,
         const_raw_ptr_deref,
         const_raw_ptr_to_usize_cast,