Неиспользуемая декларация или группа деклараций

V-ARCH-01 · Нарушение контракта

Неиспользуемая декларация или группа деклараций

Неиспользуемый код увеличивает поверхность изменений: его продолжают читать, переносить и поддерживать, хотя он не участвует в работе продукта.

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

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

private func legacyPrice() -> Int { 100 }
// В полном выбранном мире нет вызовов и runtime-регистрации.

// Удалить legacyPrice после проверки consumers и registration.

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

Проверь путь от точек входа и динамические потребители. Удаляй декларацию только при полном покрытии нужных конфигураций.

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

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

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

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

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

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

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

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

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

native-experimental.swift-6.3.3

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

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

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

VISION