Checked casts for integers
Open
enhancement
good first issue
help wanted
- Dominant language
- Kotlin
- Stars
- 1
- Forks
- 0
- PR merge metrics
- No merged PRs in 30d
Description
Review all all `TODO[#17]` entries in the code and eliminate them. We should use checked casts and avoid any kind of undefined behavior/unexpected truncation.
Contributor guide
Assessment
This issue has not been assessed yet.