{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreibk5rcduasp3fzvkntbf2n7r2i7kbuy7zh4tqmvloyho3zrklkybu",
    "uri": "at://did:plc:ivbknywyskln22er3nkssdhl/app.bsky.feed.post/3mi36ap3436u2"
  },
  "path": "/t/brainstorming-syntax-for-const-derive/24110#post_4",
  "publishedAt": "2026-03-26T18:52:07.000Z",
  "site": "https://internals.rust-lang.org",
  "tags": [
    "github.com/rust-lang/rust-project-goals",
    "Const Generics",
    "nikomatsakis",
    "@BoxyUwU",
    "@camelid",
    "@BoxyUwu",
    "@compiler-errors"
  ],
  "textContent": "github.com/rust-lang/rust-project-goals\n\n####  Const Generics\n\nopened 06:54PM - 22 Jul 24 UTC\n\n\n\n          nikomatsakis\n        \n\nT-lang  C-tracking-issue\n\n| Metadata | | | -------- | --- | | Point of contact | @BoxyUwU …| | Team(s) | [lang](http://github.com/rust-lang/lang-team) | | Goal document | [2025h2/const-generics](https://rust-lang.github.io/rust-project-goals/2025h2/const-generics.html) | ## Summary Work towards stabilizing the remaining const generics functionality that was left out of the original `min_const_generics` feature. ## Tasks and status * [x] Design meeting ([lang](http://github.com/rust-lang/lang-team) ![Team][]) * [ ] `adt_const_params` RFC draft (@BoxyUwU) * [x] Finish `mgca` prototype (@BoxyUwU, @camelid) [Team]: https://img.shields.io/badge/Team%20ask-red --- Note: we have updated the body to match the 2025h2 goal. Your original text is preserved below. <details> | Metadata | | | -------- | --- | | Point of contact | @BoxyUwU | | Team(s) | [lang](http://github.com/rust-lang/lang-team), [types](https://github.com/rust-lang/types-team) | | Goal document | [2025h1/min_generic_const_arguments](https://rust-lang.github.io/rust-project-goals/2025h1/min_generic_const_arguments.html) | ## Summary Experiment with a new `min_generic_const_args` implementation to address challenges found with the existing approach to supporting generic parameters in const generic arguments. ## Tasks and status * [ ] Discussion and moral support ([lang](http://github.com/rust-lang/lang-team), [types](https://github.com/rust-lang/types-team) ![Team][]) * [ ] Implementation and mentoring (@BoxyUwu) * [ ] Implementation (@camelid, @compiler-errors) * [ ] Reviewer (@compiler-errors) [Team]: https://img.shields.io/badge/Team%20ask-red </details>\n\n\n    fn mk_array<T: const Default + Trait>() -> [T; T::ASSOC] {\n        [const { T::default() }; _]\n    }\n\n\nThe `derive` would likely have to constrict params to `const` in the same way that \"imperfect derives\" work today.",
  "title": "Brainstorming syntax for const derive"
}