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