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