// This is a regression test for SERVER-32048. It checks that index keys are correctly updated when
// an update modifier implicitly creates a new array element.
let coll = db.update_affects_indexes;
coll.drop();
let indexKeyPattern = {"a.b": 1};
assert.commandWorked(coll.createIndex(indexKeyPattern));

// Tests that the document 'docId' has all the index keys in 'expectedKeys' and none of the
// index keys in 'unexpectedKeys'.
function assertExpectedIndexKeys(docId, expectedKeys, unexpectedKeys) {
    for (let key of expectedKeys) {
        let res = coll.find(docId).hint(indexKeyPattern).min(key).returnKey().toArray();
        assert.eq(1, res.length, tojson(res));
        assert.eq(key, res[0]);
    }

    for (let key of unexpectedKeys) {
        let res = coll.find(docId).hint(indexKeyPattern).min(key).returnKey().toArray();
        if (res.length > 0) {
            assert.eq(1, res.length, tojson(res));
            assert.neq(0, bsonWoCompare(key, res[0]), tojson(res[0]));
        }
    }
}

// $set implicitly creates array element at end of array.
assert.commandWorked(coll.insert({_id: 0, a: [{b: 0}]}));
assertExpectedIndexKeys({_id: 0}, [{"a.b": 0}], [{"a.b": null}]);
assert.commandWorked(coll.update({_id: 0}, {$set: {"a.1.c": 0}}));
assertExpectedIndexKeys({_id: 0}, [{"a.b": 0}, {"a.b": null}], []);

// $set implicitly creates array element beyond end of array.
assert.commandWorked(coll.insert({_id: 1, a: [{b: 0}]}));
assertExpectedIndexKeys({_id: 1}, [{"a.b": 0}], [{"a.b": null}]);
assert.commandWorked(coll.update({_id: 1}, {$set: {"a.3.c": 0}}));
assertExpectedIndexKeys({_id: 1}, [{"a.b": 0}, {"a.b": null}], []);

// $set implicitly creates array element in empty array (no index key changes needed).
assert.commandWorked(coll.insert({_id: 2, a: []}));
assertExpectedIndexKeys({_id: 2}, [{"a.b": null}], []);
assert.commandWorked(coll.update({_id: 2}, {$set: {"a.0.c": 0}}));
assertExpectedIndexKeys({_id: 2}, [{"a.b": null}], []);

// $inc implicitly creates array element at end of array.
assert.commandWorked(coll.insert({_id: 3, a: [{b: 0}]}));
assertExpectedIndexKeys({_id: 3}, [{"a.b": 0}], [{"a.b": null}]);
assert.commandWorked(coll.update({_id: 3}, {$inc: {"a.1.c": 0}}));
assertExpectedIndexKeys({_id: 3}, [{"a.b": 0}, {"a.b": null}], []);

// $mul implicitly creates array element at end of array.
assert.commandWorked(coll.insert({_id: 4, a: [{b: 0}]}));
assertExpectedIndexKeys({_id: 4}, [{"a.b": 0}], [{"a.b": null}]);
assert.commandWorked(coll.update({_id: 4}, {$mul: {"a.1.c": 0}}));
assertExpectedIndexKeys({_id: 4}, [{"a.b": 0}, {"a.b": null}], []);

// $addToSet implicitly creates array element at end of array.
assert.commandWorked(coll.insert({_id: 5, a: [{b: 0}]}));
assertExpectedIndexKeys({_id: 5}, [{"a.b": 0}], [{"a.b": null}]);
assert.commandWorked(coll.update({_id: 5}, {$addToSet: {"a.1.c": 0}}));
assertExpectedIndexKeys({_id: 5}, [{"a.b": 0}, {"a.b": null}], []);

// $bit implicitly creates array element at end of array.
assert.commandWorked(coll.insert({_id: 6, a: [{b: 0}]}));
assertExpectedIndexKeys({_id: 6}, [{"a.b": 0}], [{"a.b": null}]);
assert.commandWorked(coll.update({_id: 6}, {$bit: {"a.1.c": {and: NumberInt(1)}}}));
assertExpectedIndexKeys({_id: 6}, [{"a.b": 0}, {"a.b": null}], []);

// $min implicitly creates array element at end of array.
assert.commandWorked(coll.insert({_id: 7, a: [{b: 0}]}));
assertExpectedIndexKeys({_id: 7}, [{"a.b": 0}], [{"a.b": null}]);
assert.commandWorked(coll.update({_id: 7}, {$min: {"a.1.c": 0}}));
assertExpectedIndexKeys({_id: 7}, [{"a.b": 0}, {"a.b": null}], []);

// $max implicitly creates array element at end of array.
assert.commandWorked(coll.insert({_id: 8, a: [{b: 0}]}));
assertExpectedIndexKeys({_id: 8}, [{"a.b": 0}], [{"a.b": null}]);
assert.commandWorked(coll.update({_id: 8}, {$max: {"a.1.c": 0}}));
assertExpectedIndexKeys({_id: 8}, [{"a.b": 0}, {"a.b": null}], []);

// $currentDate implicitly creates array element at end of array.
assert.commandWorked(coll.insert({_id: 9, a: [{b: 0}]}));
assertExpectedIndexKeys({_id: 9}, [{"a.b": 0}], [{"a.b": null}]);
assert.commandWorked(coll.update({_id: 9}, {$currentDate: {"a.1.c": true}}));
assertExpectedIndexKeys({_id: 9}, [{"a.b": 0}, {"a.b": null}], []);

// $push implicitly creates array element at end of array.
assert.commandWorked(coll.insert({_id: 10, a: [{b: 0}]}));
assertExpectedIndexKeys({_id: 10}, [{"a.b": 0}], [{"a.b": null}]);
assert.commandWorked(coll.update({_id: 10}, {$push: {"a.1.c": 0}}));
assertExpectedIndexKeys({_id: 10}, [{"a.b": 0}, {"a.b": null}], []);