pub fn serialize<'a, W, I>(ir: I, writer: &mut W) -> Resultwhere W: Write, I: Iterator<Item = &'a HIR>,
