Skip to content

[fm] Rename Input::cases() to Input::open_cases()#10471

Merged
smklein merged 1 commit into
mainfrom
fm-open-cases
May 20, 2026
Merged

[fm] Rename Input::cases() to Input::open_cases()#10471
smklein merged 1 commit into
mainfrom
fm-open-cases

Conversation

@smklein
Copy link
Copy Markdown
Collaborator

@smklein smklein commented May 20, 2026

Split out from #10460 per review feedback.

Renames the Input::cases() accessor to Input::open_cases(). The struct already tracked open and closed-copied-forward cases separately in private fields; this just makes the public accessor name reflect that, and adds a short doc comment pointing at the (crate-private) closed_cases_copied_forward() accessor for the other half.

Copy link
Copy Markdown
Member

@hawkw hawkw left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

seems good to me!

@smklein smklein merged commit d3d5e2e into main May 20, 2026
18 checks passed
@smklein smklein deleted the fm-open-cases branch May 20, 2026 18:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants