fn write_function_coverage_info( function_coverage_info: &FunctionCoverageInfo, w: &mut dyn Write, ) -> Result<()>