fn check_lines<'a>( file: &impl Display, lines: impl Iterator<Item = (usize, &'a str)>, err: &mut dyn FnMut(&str) -> Result<()>, bad: &mut bool )