fn write_item<F, I, T>(
    f: &mut F,
    ws: &InternalWriterState<'_, I>,
    v: &T
) -> Result
where F: Write + ?Sized, I: Interner, T: RenderAsRust<I>,