Function check_block 

fn check_block<'hir>(
    ctx: &LintContext<'_, '_>,
    hir: &'hir Hir<'hir>,
    block: Block<'hir>,
    pending: &mut HashMap<VariableId, Span>,
) -> Flow