Skip to content

Сужение ни разу не совпало по имени: проверить себя и молчать #1176

Description

@gHashTag

Часть #1090. Пятое измерение, и оно опровергает прежний вывод.

Что измерено

Считалось, что уцелевшее правило — «совпадение с именем объявления» — работает. Проверка показала обратное:

#1158 называет в теле `autoAcceptIfUnambiguous`
#1158 сужается к строкам 4665-4815
4665-4815 — это `acceptanceBlockReasonDistinguishingEmptyAnswers`

Указано на соседнюю функцию, а не на названную. И #1117, называющий requestReviewerVerdicts (объявление существует, строка 4392), не сужается вовсе.

Значит совпадения по имени не происходит ни разу. Прежнее «попадание» на #1156 шло из текста делегирования, написанного человеком, а не из спеки. За пять замеров приём не указал верно ни разу.

Что сделать

Читать только строки 30-90 в rings/SR-00/QueenLocalisation.swift.

Проверять себя: если правило вернуло диапазон, убедиться, что строка начала диапазона объявляет именно то имя, которое было передано. Не совпало — вернуть nil.

Молчание вместо уверенного указания не туда. Приём остаётся для случая, когда спека называет функцию и совпадение настоящее.

Готово, когда

Границы

rings/SR-00/QueenLocalisation.swift

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions