Function write_ir_file 

pub(crate) fn write_ir_file(
    path: &Path,
    write: impl FnOnce(&mut File) -> Result<()>,
)