Function check_block 

fn check_block<'hir>(
    ctx: &LintContext<'_, '_>,
    hir: &'hir Hir<'hir>,
    helpers: &HashSet<FunctionId>,
    block: Block<'hir>,
    aliases: &mut HashSet<VariableId>,
) -> bool