@type{!Range} should be unnecessary based on previous comment