about summary refs log tree commit diff
path: root/tests/ui/generic-const-items
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 /tests/ui/generic-const-items
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 'tests/ui/generic-const-items')
-rw-r--r--tests/ui/generic-const-items/wfcheck_err_leak_issue_118179.stderr2
1 files changed, 0 insertions, 2 deletions
diff --git a/tests/ui/generic-const-items/wfcheck_err_leak_issue_118179.stderr b/tests/ui/generic-const-items/wfcheck_err_leak_issue_118179.stderr
index 654004571db..2b28e29421c 100644
--- a/tests/ui/generic-const-items/wfcheck_err_leak_issue_118179.stderr
+++ b/tests/ui/generic-const-items/wfcheck_err_leak_issue_118179.stderr
@@ -3,8 +3,6 @@ error[E0770]: the type of const parameters must not depend on other generic para
    |
 LL | struct G<T, const N: Vec<T>>(T);
    |                          ^ the type must not depend on the parameter `T`
-   |
-   = note: type parameters may not be used in the type of const parameters
 
 error: aborting due to 1 previous error