Теряется обязательный результат или ошибка задачи

V-ASYNC-13 · Нарушение контракта

Теряется обязательный результат или ошибка задачи

Потерянный handle throwing Task может скрыть ошибку обязательной операции: вызывающая сторона считает работу успешной.

Пример проблемы и направление исправления

Учебные сокращённые фрагменты Swift или схемы протокола. Вспомогательные API условны. Это не тестовые oracle и не обещание, что текущий subset выдаст диагностику именно на этот код.

Task { try await saveRequiredData() }
showSuccess()

do {
    try await saveRequiredData()
    showSuccess()
} catch { showFailure(error) }

Что изменить и что сохранить

Дождаться обязательного результата или зарегистрировать явную доставку ошибки. Fire-and-forget допустим только при соответствующем контракте.

Что подтверждено сейчас

В срезе 022 требуется восстановление и квалификация source producer. Целевое доказательство и пример описывают желаемое поведение; они не являются свидетельством действующей диагностики.

Владелец реализации

T033: точная область и ограничения прослеживаются во внутреннем source manifest.

Стратегия первого результата

Experimental advisory — план реализации, не maturity

Смысл результата

Нарушение контракта — не уровень severity

Профиль реестра

native-experimental.swift-6.3.3

Автоисправление и CI

Эта страница не заявляет autocorrect, default enablement или blocking CI.

Ключ происхождения

VISION