subrange and succ()

[jaammaxfamily]

    type BelowFive = range[0 .. 4]
    var health:BelowFive = 0
    health = health.succ(100)
    
    
    Run

This is not generating compile-time error? Is that a bug?