Вызов через несовместимую изоляцию

V-EXEC-01 · Дефект

Вызов через несовместимую изоляцию

Код обращается к состоянию из контекста, которому это состояние не принадлежит. Особенно опасны границы legacy API, скрывающие изоляцию от компилятора.

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

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

// Legacy callback на произвольном executor:
legacy.onValue = { model.updateUI() }

legacy.onValue = { value in
    Task { @MainActor in model.updateUI(value) }
}

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

Перенести операцию к владельцу состояния. Проверить Sendable передаваемых значений и допустимость асинхронной доставки; новый Task меняет порядок и время жизни.

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

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

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

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

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

Узкий проверяемый случай — план реализации, не maturity

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

Дефект — не уровень severity

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

native-experimental.swift-6.3.3

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

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

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

VISION