fn write_network<T: PositionSourceCodec>( value: &dyn ErasedPositionSource, writer: &mut Vec<u8>, ) -> Result<()>