Issues
- 1
dealing with `WithOptConstParam`
#45 opened by lcnr - 1
`TypeId` yikes
#46 opened by lcnr - 1
- 2
- 1
- 0
[Use Case]: const-time if/else choosing entirely different impls and not compiling the not-taken ones
#52 opened by the8472 - 0
project-const-generics work graph
#50 opened by BoxyUwU - 0
- 0
Silent CTFE errors during selection
#25 opened by lcnr - 3
- 13
valtrees and padding
#20 opened by lcnr - 0
Ambiguous generic arguments
#42 opened by lcnr - 0
Anonymous constants in binders
#35 opened by lcnr - 0
Types without structural equality in const arguments
#47 opened by lcnr - 0
Overly restrictive variance
#32 opened by lcnr - 0
Structural equality
#29 opened by lcnr - 0
Valid const parameter types
#34 opened by lcnr - 0
Checking the type of const parameters
#44 opened by lcnr - 0
- 0
Opaque concrete constants
#39 opened by lcnr - 0
Only represent consts in types using `ty::Const`
#43 opened by lcnr - 7
Ghost types
#16 opened by HKalbasi - 15
functions as const parameters
#7 opened by lcnr - 0
Functions as const parameters
#27 opened by lcnr - 0
Generic const parameter types
#28 opened by lcnr - 2
expressions in trait impls
#12 opened by BoxyUwU - 7
user defined const param type backcompat
#6 opened by lcnr - 0
Evaluation with inconsistent `where`-clauses
#37 opened by lcnr - 0
Opaque and transparent associated constants
#31 opened by lcnr - 0
Unused generic parameters of anonymous constants
#33 opened by lcnr - 0
Self-referential `where`-clauses
#36 opened by lcnr - 0
Discarding evaluatable bounds and soundness
#40 opened by lcnr - 0
Extending unification logic
#38 opened by lcnr - 0
Leaking implementation details during unification
#30 opened by lcnr - 0
Requirements for const evaluation
#24 opened by lcnr - 0
Merging impls to be exhaustive
#26 opened by lcnr - 0
Constraining generic parameters
#23 opened by lcnr - 1
generic_const_impls
#17 opened by OrbitalStation - 3
review policy
#4 opened by lcnr