Какова проблема?

Произошли две ошибки в тестах CTS (в настоящее время игнорируются) из-за неправильной работы умного приведения типов в цикле for-of:

15.semantic_rules/07.type_inference/01.smart_types/for_of_stmt_0.sts
15.semantic_rules/07.type_inference/01.smart_types/for_of_stmt_1.sts

Пример:

function main(): int {
    let v: char | null;
    let res: char;
    for (v of 'a') {
        res = v;
    }
    return res === 'a' ? 0 : 1;
}

Какое поведение ожидалось?

Умное приведение типов должно работать корректно для циклов for-of.

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

Существуют два теста CTS:

• 15.semantic_rules/07.type_inference/01.smart_types/for_of_stmt_0.sts
• 15.semantic_rules/07.type_inference/01.smart_types/for_of_stmt_1.sts

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

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

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