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