databendlabs / openraft / 27149762323

87%

Build Type

push

github

Committed by drmingdrmer

Commit Message

refactor: quorum: make QuorumSet id an associated type

# Summary

The `QuorumSet` trait carried an `ID` type parameter that every implementor
bound to a single concrete id type. This converts `ID` into an associated type
`Id`, so the "one quorum set, one id type" relationship lives in the trait
itself and the redundant parameter drops out of every bound that referenced it.
The trait is `pub(crate)`, so there is no public API or behavior change.

# Details

- The trait gains `type Id` and its methods reference `Self::Id`; bounds across
  the progress, proposer, and quorum layers change from `QuorumSet<ID>` to
  `QuorumSet<Id = ID>`. The standalone `ID` parameter was never instantiated
  differently from each type's own id, so an associated type models it without
  losing expressiveness.
- Every implementor pins `Id` to the concrete type it already used, so the
  resolved method signatures are unchanged. This is a purely type-level
  refactor with no logic touched.

Coverage Stats

1 of 1 new or added line in 1 file covered. (100.0%)

10 existing lines in 2 files now uncovered.

16485 of 19029 relevant lines covered (86.63%)

145456.6 hits per line