Add a test case for range type casting

We support this behavior, but have no tests which assert that type
casting actually occurs.