Correct discussion of exhaustiveness checking in -> switch statements#5492
Merged
copybara-service[bot] merged 1 commit intomasterfrom Feb 6, 2026
Merged
Correct discussion of exhaustiveness checking in -> switch statements#5492copybara-service[bot] merged 1 commit intomasterfrom
-> switch statements#5492copybara-service[bot] merged 1 commit intomasterfrom
Commits
Commits on Feb 6, 2026
- authored andcommitted
