This checks if the range iteration happens on a permitted type