Что произошло?

//test.ets
let set1: Set<number> = new Set<number>();
let first = 1;
set1.add(0);
set1.add(1);
for (let x of set1) {
    if (first !== null) {
        set1.delete(1);
        set1.add(1);
    }
}

[TID 200fa0] E/verifier: Verifier error 2: Bad register type
[TID 200fa0] E/verifier: Error: method void test.ETSGLOBAL::_$init$_() failed to verify

Какое ожидаемое поведение?

Должно сгенерировать валидный байткод.

Как воспроизвести эту ошибку

см. test.ets

Дополнительная информация

Информация о версии или ветке

• master
• 5.1-Release
• 5.0-Release
• 5.0-Beta1
• Release 4.1
• Release 4.0
• Release 3.2