Miscellaneous refactoring#13178

Merged

koppor merged 2 commits intomainfrom

May 28, 2025

Commits on May 27, 2025

Refactor: use strict types, `toList`, `List.of`, remove unused variables and exceptions, convert ifs to switch, etc.
subhramit
committed
Merge branch 'main' into strict-types
subhramit
authored