borrow-error.rs

for name in then_env.borrow().get_all_keys() {
    let then_type = then_env.borrow().get_type(&name).unwrap();
    if else_env.borrow().get_type(&name).unwrap() != then_type {
        issues.push((TypeCheckerIssue::MultipleTypesFromBranchWarning(name.clone()),
                     s.pos));
        env.borrow_mut().set(&name, Type::Any);
    } else {
        env.borrow_mut().set(&name, then_type);
    }
}

no-borrow-error.rs

for name in names {
    let then_type = then_env.borrow().get_type(&name).unwrap();
    let else_type = else_env.borrow().get_type(&name).unwrap();
    if  else_type != then_type {
        issues.push((TypeCheckerIssue::MultipleTypesFromBranchWarning(name.clone()),
                        s.pos));
        env.borrow_mut().set(&name, Type::Any);
    } else {
        env.borrow_mut().set(&name, then_type);
    }
}