Turbo Pascal could.

In practice the only benefit is very similar to checked exceptions - can't forget to check that value is in range.