Избыточный протокол или conformance

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

Избыточный протокол или conformance

Conformance может быть частью dispatch или framework-контракта без очевидного вызова метода. Удалять его допустимо только при отсутствии всех значимых ролей.

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

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

private protocol Marker {}
private struct State: Marker { var value: Int = 0 }
// Нет existential/generic/inherited/registration роли Marker.

private struct State { var value: Int = 0 }

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

Проверь использования через generic constraints и existentials. Если conformance нужен потребителю, сохраняй его независимо от наличия собственных методов.

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

Приняты private marker-протоколы в закрытом supported scope с учётом erasure и inherited roles. Это не разрешение массово удалять conformances.

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

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

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

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

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

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

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

native-experimental.swift-6.3.3

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

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

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

PERIPHERY