Derive `BaseRound::NEXT_ROUND_NUM` automatically

Question

Derive `BaseRound::NEXT_ROUND_NUM` automatically

Closed this issue 6 months ago · 2 comments

Theoretically, we can calculate BaseRound::NEXT_ROUND_NUM based on BaseRound::ROUND_NUM and whether the round implements FinalizableToResult (then it's None) or FinalizableToNextRound (then it's BaseRound::ROUND_NUM + 1).

Answer 1 · 2024-05-07T22:04:35.000Z

Actually: do we even need ROUND_NUM/NEXT_ROUND_NUM at all at the typed level? The round number is not used anywhere, and if Session needs it, it can just as well count the rounds itself.

Answer 2 · 2024-10-12T22:11:24.000Z

Invalidated by the more dynamic nature of manul (where there actually can be several possible rounds following the finalization).