Closed Daniel-Aaron-Bloom closed 1 month ago
Many types and functions use generics with parameters like:
F: RichField + Extendable<D>, C: GenericConfig<D, F = F>
Instead, those places could use C: GenericConfig<D>, substituting C::F in place of F where necessary.
C: GenericConfig<D>
C::F
F
PackedField is a similar story.
PackedField
Removing these parameters can simplify type declarations and turbofishes for downstream crates.
Many types and functions use generics with parameters like:
F: RichField + Extendable<D>, C: GenericConfig<D, F = F>Instead, those places could use
C: GenericConfig<D>, substitutingC::Fin place ofFwhere necessary.PackedFieldis a similar story.Removing these parameters can simplify type declarations and turbofishes for downstream crates.