How would you implement it in other languages that support it better? Can you literally just do a range check and the compiler infers its range for types? If so

How would you implement it in other languages that support it better? Can you literally just do a range check and the compiler infers its range for types? If so thats actually pretty neat.