fn write_list( f: &mut dyn Write, range: Range<usize>, values: &dyn DisplayIndex, ) -> Result<(), FormatError>