fn check_block( ctx: &FileCtx<'_>, block: &DocBlock<'_>, max_words: usize, out: &mut Vec<Violation>, )