Ветви условного результата семантически совпадают

V-COR-16 · Возможность улучшения

Ветви условного результата семантически совпадают

Одинаковые результаты обеих ветвей могут означать ошибку копирования или лишнее условие. Сходство текста не доказывает равенства эффектов.

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

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

func choose(_ flag: Bool) -> Int {
    flag ? 7 : 7
}

func choose(_ flag: Bool) -> Int { 7 }
// Если ветви должны различаться, восстановить нужный результат.

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

Сначала проверь намерение и эффекты вычислений. Упрощай только семантически равные результаты.

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

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

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

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

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

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

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

Возможность улучшения — не уровень severity

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

native-experimental.swift-6.3.3

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

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

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

SONAR