Typescript: Ошибка в async / await при выполнении оператора return внутри цикла for, ожидающего в функции async.

В текущем прототипе поддержки нижнего уровня Async / Await мы обнаружили ошибку, которая приводит к возникновению ошибочного исключения в коде, который в противном случае должен работать.

Репродукция:

Суть проблемы в том, что наличие оператора return внутри цикла for в функции, в которой есть ожидание, вызывает ошибку .

Запустите этот код, и вы увидите, что всякий раз, когда «num» будет> .5 (и будет оценено выражение «return true»), вы получите следующую ошибку, которая возникает из кода __generator: «TypeError: невозможно получить свойство. «0» неопределенной или нулевой ссылки »

    async function itemExists(): Q.Promise<boolean> {
        var numTries = 3;
        for (var i = 0; i < numTries; i++) {
            var num = await Q.fcall(function() { return Math.random() });
            console.log(num);
            if (num > .5) {
                return true;
            }
        }
        return false;
    }

    itemExists().then(function(val) {
        console.log("All values greater than .5: " + val)
    }).catch(function(e) {
        console.error("Error: " + e);
    });

Анализ:

Проблема вызвана оператором return внутри цикла. Если бы я, например, модифицировал itemExists (), чтобы установить локальную переменную, а затем выйти из цикла с помощью оператора break, код работал бы:

    // With workaround (NOT short-circuiting the loop)
    async function itemExists(): Q.Promise<boolean> {
        var numTries = 3;
        var result = false;
        for (var i = 0; i < numTries; i++) {
            var num = await Q.fcall(function() { return Math.random() });
            console.log(num);
            if (num > .5) {
                result = true;
                break;
            }
        }
        return result;
   }

Кажется, что в сгенерированном коде содержится быстрый анализ проблемы. Исключение здесь:

            try {
                var operation = body(state);
                opcode = operation[0], arg = operation[1];
            } catch (e) {
                opcode = 1 /*throw*/, arg = e;
            }

Но на самом деле виноват, кажется, в том факте, что существует несоответствие в сгенерированных операторах return и break (насколько я могу судить). А именно, 3 выглядит иногда как «перерыв», а иногда как «возврат».

function itemExists() {
    return new Q.Promise(function (_resolve) {
        _resolve(__awaiter(__generator(function (_state) {
            switch (_state.label) {
                case 0:
                    numTries = 3;
                    i = 0;
                    _state.label = 1;
                case 1:
                    if (!(i < numTries))
                        return [3 /*break*/, 4];
                    return [4 /*yield*/, Q.fcall(function () {
                        return Math.random();
                    })];
                case 2:
                    num = _state.sent;
                    console.log(num);
                    if (num > .5) {
                       return [3 /*return*/, true];
                    }
                    _state.label = 3;
                case 3:
                    i++;
                    return [3 /*break*/, 1];
                case 4:
                    return [2 /*return*/, false];
            }
        })));
    });
    var numTries, i, num;
}
itemExists().then(function (val) {
    console.log("All values greater than .5: " + val);
}).catch(function (e) {
    console.error("Error: " + e);
});