Function check_block 

fn check_block<'gcx>(
    ctx: &LintContext<'_, '_>,
    gcx: Gcx<'gcx>,
    block: Block<'gcx>,
    tainted: &mut HashSet<VariableId>,
) -> bool

Checks block, returning false once control cannot continue past a statement.