When a type is downcast to a smaller type, the higher order bits are truncated, effectively applying a modulo to the original value.
Without any other checks, this wrapping will lead to unexpected behavior and bugs
Manual Review
use higher Type
The contest is live. Earn rewards by submitting a finding.
This is your time to appeal against judgements on your submissions.
Appeals are being carefully reviewed by our judges.