Skip to content

Issues: rust-lang/project-const-generics

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

34 Open 5 Closed
34 Open 5 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

MVP of associated constants for const generics C-design-docs Category: This is part of our design documentation
#54 opened Feb 27, 2024 by programmerjake
"cycle detected when building an abstract representation..." issue
#53 opened Feb 22, 2024 by fubupc
2
[Use Case]: const-time if/else choosing entirely different impls and not compiling the not-taken ones A-generic-exprs Generic const expressions C-use-case Category: This is a use case for a feature
#52 opened Jun 8, 2023 by the8472
[Use Case]: scope based normalization of const generics A-generic-exprs Generic const expressions C-use-case Category: This is a use case for a feature
#51 opened Jun 8, 2023 by BoxyUwU
1
project-const-generics work graph
#50 opened Feb 13, 2023 by BoxyUwU
[Use Case]: Recursively calculating determinant of Matrix<M, M> A-generic-exprs Generic const expressions C-use-case Category: This is a use case for a feature
#49 opened Nov 29, 2022 by jamesthurley
Nesting objects using const generics requires non-local bounds
#48 opened Aug 12, 2022 by TomDeRybel
3
Types without structural equality in const arguments A-generic-exprs Generic const expressions A-unification Unifying constants in the type system C-design-docs Category: This is part of our design documentation K-behavior Document Kind: regarding user visible behavior P-necessary Priority: will be needed at some point S-active
#47 opened May 20, 2022 by lcnr
TypeId yikes A-generic-exprs Generic const expressions C-design-docs Category: This is part of our design documentation K-behavior Document Kind: regarding user visible behavior P-necessary Priority: will be needed at some point S-active
#46 opened May 18, 2022 by lcnr
dealing with WithOptConstParam A-param-types Const parameter types C-design-docs Category: This is part of our design documentation K-impl Document Kind: regarding implementation P-necessary Priority: will be needed at some point S-active
#45 opened May 5, 2022 by lcnr
Checking the type of const parameters A-param-types Const parameter types C-design-docs Category: This is part of our design documentation K-impl Document Kind: regarding implementation P-optional Priority: not strictly required S-active
#44 opened May 4, 2022 by lcnr
Only represent consts in types using ty::Const A-generic-exprs Generic const expressions A-unification Unifying constants in the type system C-design-docs Category: This is part of our design documentation K-impl Document Kind: regarding implementation K-solution Document Kind: elaborating a solution S-active
#43 opened Mar 24, 2022 by lcnr
Ambiguous generic arguments C-design-docs Category: This is part of our design documentation K-behavior Document Kind: regarding user visible behavior P-optional Priority: not strictly required S-active
#42 opened Mar 24, 2022 by lcnr
Evaluatable bounds and preventing monomorphization errors A-eval-bounds Const evaluatability bounds C-design-docs Category: This is part of our design documentation K-behavior Document Kind: regarding user visible behavior P-necessary Priority: will be needed at some point S-active
#41 opened Mar 23, 2022 by lcnr
Discarding evaluatable bounds and soundness A-eval-bounds Const evaluatability bounds C-design-docs Category: This is part of our design documentation K-behavior Document Kind: regarding user visible behavior P-optional Priority: not strictly required S-active
#40 opened Mar 23, 2022 by lcnr
Opaque concrete constants A-unification Unifying constants in the type system C-design-docs Category: This is part of our design documentation K-behavior Document Kind: regarding user visible behavior P-optional Priority: not strictly required S-active
#39 opened Mar 23, 2022 by lcnr
3 tasks
Extending unification logic A-generic-exprs Generic const expressions A-unification Unifying constants in the type system C-design-docs Category: This is part of our design documentation K-behavior Document Kind: regarding user visible behavior P-optional Priority: not strictly required S-active
#38 opened Mar 23, 2022 by lcnr
Evaluation with inconsistent where-clauses A-generic-exprs Generic const expressions C-design-docs Category: This is part of our design documentation K-impl Document Kind: regarding implementation P-necessary Priority: will be needed at some point S-active
#37 opened Mar 23, 2022 by lcnr
Self-referential where-clauses A-generic-exprs Generic const expressions C-design-docs Category: This is part of our design documentation K-impl Document Kind: regarding implementation P-necessary Priority: will be needed at some point S-active
#36 opened Mar 23, 2022 by lcnr
Anonymous constants in binders A-generic-exprs Generic const expressions C-design-docs Category: This is part of our design documentation K-impl Document Kind: regarding implementation P-necessary Priority: will be needed at some point S-active
#35 opened Mar 23, 2022 by lcnr
Valid const parameter types A-param-types Const parameter types C-design-docs Category: This is part of our design documentation K-behavior Document Kind: regarding user visible behavior P-necessary Priority: will be needed at some point S-active
#34 opened Mar 23, 2022 by lcnr
Unused generic parameters of anonymous constants A-generic-exprs Generic const expressions A-unification Unifying constants in the type system C-design-docs Category: This is part of our design documentation K-impl Document Kind: regarding implementation P-necessary Priority: will be needed at some point S-active
#33 opened Mar 23, 2022 by lcnr
Overly restrictive variance A-generic-exprs Generic const expressions A-unification Unifying constants in the type system C-design-docs Category: This is part of our design documentation K-behavior Document Kind: regarding user visible behavior P-optional Priority: not strictly required S-blocked
#32 opened Mar 23, 2022 by lcnr
Opaque and transparent associated constants A-generic-exprs Generic const expressions A-unification Unifying constants in the type system C-design-docs Category: This is part of our design documentation K-behavior Document Kind: regarding user visible behavior K-impl Document Kind: regarding implementation P-necessary Priority: will be needed at some point S-active
#31 opened Mar 23, 2022 by lcnr
Leaking implementation details during unification A-generic-exprs Generic const expressions A-unification Unifying constants in the type system C-design-docs Category: This is part of our design documentation K-impl Document Kind: regarding implementation P-necessary Priority: will be needed at some point S-active
#30 opened Mar 23, 2022 by lcnr
ProTip! Updated in the last three days: updated:>2024-06-19.