about summary refs log tree commit diff
path: root/compiler/rustc_span/src
diff options
context:
space:
mode:
authorMatthias Krüger <matthias.krueger@famsik.de>2025-03-01 11:33:58 +0100
committerGitHub <noreply@github.com>2025-03-01 11:33:58 +0100
commit415b207b7fee2416fef38ea030def6e988620c11 (patch)
tree182b9c7322a55b74a1c5a33cb0266807e251897e /compiler/rustc_span/src
parent11ddd56b3145c85ed044a909d24ff078c1bb1097 (diff)
parentdf5b279ca962a84c83a6766dbb02cf23b866082a (diff)
downloadrust-415b207b7fee2416fef38ea030def6e988620c11.tar.gz
rust-415b207b7fee2416fef38ea030def6e988620c11.zip
Rollup merge of #137617 - BoxyUwU:generic_const_parameter_types, r=lcnr
Introduce `feature(generic_const_parameter_types)`

Allows to define const generic parameters whose type depends on other generic parameters, e.g. `Foo<const N: usize, const ARR: [u8; N]>;`

Wasn't going to implement for this for a while until we could implement it with `bad_inference.rs` resolved but apparently the project simd folks would like to be able to use this for some intrinsics and the inference issue isn't really a huge problem there aiui. (cc ``@workingjubilee`` )
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 501c9039f2d..2a709b07255 100644
--- a/compiler/rustc_span/src/symbol.rs
+++ b/compiler/rustc_span/src/symbol.rs
@@ -1037,6 +1037,7 @@ symbols! {
         generic_associated_types_extended,
         generic_const_exprs,
         generic_const_items,
+        generic_const_parameter_types,
         generic_param_attrs,
         generic_pattern_types,
         get_context,