type  = impl : Iterator<Item = PointIndex> + '_;