Межпроцедурный путь приводит к invalid force operation

V-COR-10 · Дефект

Межпроцедурный путь приводит к invalid force operation

Force unwrap, try! или другой force operation опасен, когда существует допустимый путь к невыполнимому предусловию.

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

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

func absent() -> Int? { nil }
public func value() -> Int { absent()! }

public func value() -> Int? { absent() }

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

Обработай конкретный отказ или докажи предусловие. Простая замена на значение по умолчанию допустима лишь по смыслу API.

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

Принят bounded source subset по контракту задачи. Подтверждение распространяется только на допущенные source forms, профиль сборки, positive/negative и unknown-границы из приёмки. Пример выше и весь класс похожих программ автоматически принятыми не становятся.

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

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

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

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

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

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

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

native-experimental.swift-6.3.3

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

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

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

VISION