fn write_coverage_gap<W>( tcx: TyCtxt<'_>, lo: BytePos, hi: BytePos, w: &mut W ) -> Result<()>where W: Write,