Closed
Description
openedon Jul 28, 2020
This is a tracking issue for the minimal usable subset of RFC 2000 (rust-lang/rfcs#2000).
The feature gate for the issue is #![feature(min_const_generics)]
.
See rust-lang/lang-team#37 for more details.
About tracking issues
Tracking issues are used to record the overall progress of implementation.
They are also uses as hubs connecting to other relevant issues, e.g., bugs or open design questions.
A tracking issue is however not meant for large scale discussion, questions, or bug reports about a feature.
Instead, open a dedicated issue for the specific matter and add the relevant feature gate label.
Steps
- Fix
const-generics-blocking
issues. - Fix
const-generics-bad-diagnostics
issues. - Add many more
min_const_generics
tests. - const wf (generic params in associated consts)
- Adjust documentation (see instructions on rustc-dev-guide)
- Stabilization PR (see instructions on rustc-dev-guide)
Completed:
- should we keep allowing things like
[u8; std::mem::size_of::<*mut T>()]
here (cc makeConstEvaluatable
more strict #74595) - how to deal with
ConstKind::Unevaluated
and incorrect inference cycles (cc fix unification of const variables #74040)
Implementation history
- based of Tracking issue for const generics (RFC 2000) #44580
- split into a separate feature gate in Implement the
min_const_generics
feature gate #74877
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment