adding tests (but not impl) for range restriction failure checks