range types like:
type MySubrange = range[0..5] Run
type MySubrange = range[0..5]
Are they also checked at runtime? Is there a way to disable them being checked at runtime in release mode?