search

rust-lang / rust-project-goals

Rust Project Goals tracker
https://rust-lang.github.io/rust-project-goals/
MIT License
45 stars 42 forks source link

"Stabilizable" prototype for expanded const generics #100

Open nikomatsakis opened 3 months ago

nikomatsakis commented 3 months ago
Metadata
Owner(s) @BoxyUwU
Team(s) lang, types
Goal document 2024h2/min_generic_const_arguments

Summary

Experiment with a new min_generic_const_args implementation to address challenges found with the existing approach. The design for min_generic_const_args is outlined in this document written by @BoxyUwU

Tasks and status

nikomatsakis commented 3 months ago

This issue is intended for status updates only.

For general questions or comments, please contact the owner(s) directly.

BoxyUwU commented 3 months ago

Key Developments: #125915 landed which is necessary to start implementation work on min_generic_const_args, a draft outlining the ideas behind the proposed feature has also been written Blockers: no Help Wanted: not currently in need of anything

BoxyUwU commented 1 month ago

The past ~month has been spent figuring out some implementation constraints arising from DefId creation of anon consts. My time has also been somewhat diverted to other things though that should have cleared up now :-)

BoxyUwU commented 1 month ago

camlid has started working on using the new lowering schema for more than just const parameters which once done will allow us to introduce a min_generic_const_args feature gate. compiler-errors has been working on removing the eval_x methods on Const that do not perform proper normalization and are incompatible with this feature