db.local.drop();
db.foreign.drop();
db.local.insertOne({_id: 1, array: [0], a: 0});
db.foreign.insertOne({a: 0});

const norMatch = {
    $nor: [
        {m: {$elemMatch: {a: {$ne: 1}}}, array: {$not: {$elemMatch: {$nin: []}}}},
        {m: {$not: {$not: {$nin: []}}}, a: 1},
    ],
};

const lookupStage = {
    $lookup: {from: db.foreign.getName(), localField: "a", foreignField: "a", as: "m"},
};

db.local.aggregate([
    lookupStage,
    {$match: norMatch},
]);

db.local.aggregate([
    lookupStage,
    {$_internalInhibitOptimization: {}},
    {$match: norMatch},
]);