fn check_section<'a>( file: impl Display, lines: impl Iterator<Item = (usize, &'a str)>, check: &mut RunningCheck, )