fix(types): названный в описании тип не уносит с собой посчитанные поля

[nixel2007]

Проблема

Значение метода складывается из двух источников: типа, названного в описании (// Возвращаемое значение: …), и типов, выведенных по телу. По общим типам верим описанию — у Массив из Число из комментария состав элементов точнее собранного по телу. Ради этого названный в описании тип вычитался из выведенного:

var extra = inferred;
for (var ref : declared.refs()) {
  extra = extra.without(ref);   // убирает ссылку вместе со ВСЕМИ её декорациями
}
return declared.union(extra);

Вычитание убирает ссылку целиком — вместе с полями. У функции, чьё описание гласит Возвращаемое значение: Структура, состав ключей, собранный из Вставить, пропадал полностью.

Замер на живом коде БСП (ИнтеграцияПодсистемБСП.СобытияБСП, у которой два с лишним десятка Вставить): 111 полей в момент сохранения и ноль при чтении.

Дальше это оборачивалось ложными «У типа "Структура" нет метода или свойства …» — самой массовой жалобой диагностики на реальной конфигурации: 9660 срабатываний из 30 587, почти треть всей выдачи.

Что сделано

Состав элементов по-прежнему остаётся за описанием — правило и тесты на Массив из Число не тронуты. А поля возвращаются: после вычитания к результату добавляются поля выведенного значения по тем же ссылкам.

Замеры на ssl_3_1

Пакетный анализ, репортер SARIF, mode: only с UnknownMember + EventHandlerInvalidSignature. Правка мерилась в составе большей ветки, где она — единственная, влияющая на состав полей: замечаний 30 401 → 28 859, то есть примерно полторы тысячи ложных срабатываний уходит.

Отдельного прогона «develop против develop плюс только эта правка» я не делал: вынесу числа комментарием, если понадобится точная атрибуция.

Тесты

DeclaredStructureFieldsTest: у функции в описании назван тип Структура, а состав ключей известен из тела; после правки ключи видны. До правки набор полей пуст.

Весь пакет types.* (1706 тестов) и *UnknownMember* — зелёные, включая тесты Массив из Число, ради которых вычитание и существовало.

Связанные задачи

Часть работы по #4429.

Summary by CodeRabbit

• Bug Fixes

  • Preserved fields inferred from method bodies when declared return types are structures.
  • Retained detailed element, field, and lazy type information when combining declared and inferred types.
  • Improved consistency after return-type updates or removals.
  • Prevented recursive type analysis from losing locally inferred fields and element types.

• Tests

  • Added coverage for inferred structure fields, cache updates, and recursive lazy-field resolution.

[coderabbitai]

Note

Reviews paused

It looks like this branch is under active development. To avoid overwhelming you with review comments due to an influx of new commits, CodeRabbit has automatically paused this review. You can configure this behavior by changing the reviews.auto_review.auto_pause_after_reviewed_commits setting.

Use the following commands to manage reviews:

• @coderabbitai resume to resume automatic reviews.
• @coderabbitai review to trigger a single review.

Use the checkboxes below for quick actions:

• ▶️ Resume reviews
• 🔍 Trigger review

📝 Walkthrough

Walkthrough

SymbolTypeIndex caches combined declared and inferred return types and invalidates stale entries. recursiveKnot avoids forcing recursive lazy values. Tests cover declared structure fields, cache replacement, and recursive lazy fields.

Changes

Return type inference

Layer / File(s)	Summary
Combine and invalidate return types src/main/java/.../SymbolTypeIndex.java, src/test/.../DeclaredStructureFieldsTest.java	SymbolTypeIndex caches combined return types, invalidates entries after updates or document clearing, and restores inferred fields during merging. Tests cover declared structure fields and replacement after method body changes.
Avoid recursive lazy forcing src/main/java/.../ExpressionTypeInferencer.java, src/test/.../DeclaredStructureFieldsTest.java	recursiveKnot reads underlying element and field maps and creates lazy fields without forcing recursive accessors. Tests verify recursive lazy field resolution.

Estimated code review effort: 3 (Moderate) | ~20 minutes

Possibly related PRs

• 1c-syntax/bsl-language-server#4402: Modifies related return-type handling in SymbolTypeIndex and ExpressionTypeInferencer.
• 1c-syntax/bsl-language-server#4440: Modifies recursive type inference in ExpressionTypeInferencer.
• 1c-syntax/bsl-language-server#4318: Introduces related recursive and lazy structure-field inference behavior.

🚥 Pre-merge checks | ✅ 5

✅ Passed checks (5 passed)

Check name	Status	Explanation
Description Check	✅ Passed	Check skipped - CodeRabbit’s high-level summary is enabled.
Title check	✅ Passed	The title clearly describes the main fix: preserving computed fields for types named in return-value descriptions.
Docstring Coverage	✅ Passed	No functions found in the changed files to evaluate docstring coverage. Skipping docstring coverage check.
Linked Issues check	✅ Passed	Check skipped because no linked issues were found for this pull request.
Out of Scope Changes check	✅ Passed	Check skipped because no linked issues were found for this pull request.

✨ Finishing Touches

📝 Generate docstrings

• Create stacked PR
• Commit on current branch

🧪 Generate unit tests (beta)

• Create PR with unit tests
• Commit unit tests in branch fix/declared-type-keeps-fields

---

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Comment @coderabbitai help to get the list of available commands.}

[github-actions]

Test Results

 4 080 files  + 6   4 080 suites  +6   56m 7s ⏱️ + 1m 54s
 4 233 tests + 3   4 162 ✅ + 3   71 💤 ±0  0 ❌ ±0 
25 398 runs  +18  24 968 ✅ +18  430 💤 ±0  0 ❌ ±0 

Results for commit af0c79b. ± Comparison against base commit 603b9c6.

♻️ This comment has been updated with latest results.

[nixel2007]

Просадку нашёл и переработал в — вы были правы, вливать первую версию было нельзя.

Что я сделал не так. Соединение описания с выводом встало на путь чтения: getReturnTypes зовётся при каждом разрешении вызова, а я туда положил копию карты полей. Хуже того, поля читались через getLocalFields, а он склеивает жадные с ленивыми — то есть форсирует ленивое. У рекурсивных и см.-типов ленивое поле ведёт обратно в getReturnTypes того же метода, и разворот шёл вглубь на каждом чтении. В прогоне по ssl_3_1 это давало 212 переполнений стека, молча проглоченных обработчиком в инференсере, — и то самое катастрофическое время.

Что изменено:

• соединение считается один раз и снимается записью любого из источников (putReturnTypes, clear, reindexDeclared — все четыре точки записи проверены по коду);
• сырые карты localFields()/lazyFields() читаются раздельно, ленивое перекладывается ленивым;
• резолверы узла рекурсии тоже перестали форсировать — и по полям, и по элементам они читают жадный состав. Узел разрешает ровно один уровень, ради чего он и заведён; форс замыкал его на себя.

Замеры на ssl_3_1 (прогоны вперемежку, машина на сети, сканер молчит):

	замечаний	время
develop	30 235 / 30 334	63 / 62 с
ветка	29 220 / 29 024	60 / 71 с

Переполнений стека — ноль. Разница по времени в пределах разброса этой машины; окончательное слово за бенчмарком CI.

Отдельно отмечу находку, которая шире этого PR: обработчик catch (StackOverflowError | RuntimeException) в инференсере скрывает такие ошибки — расчёт молча отдаёт пустой тип, и внешне это выглядит как «типы не выводятся», а не как поломка. Ровно поэтому первая версия прошла все тесты.

[nixel2007]

Просадку нашёл и переработал в ab7a071 — вы были правы, вливать первую версию было нельзя. (Поправка к предыдущему комментарию: там номер коммита съела оболочка.)

[coderabbitai]

Actionable comments posted: 2

🤖 Prompt for all review comments with AI agents

Verify each finding against current code. Fix only still-valid issues, skip the
rest with a brief reason, keep changes minimal, and validate.

Inline comments:
In
`@src/main/java/com/github/_1c_syntax/bsl/languageserver/types/index/SymbolTypeIndex.java`:
- Line 189: Fix concurrent cache publication in reindexDeclared and
putReturnTypes so an outdated reader cannot repopulate combinedReturnTypes after
source updates; use version validation against declared and inferred snapshots
or the same per-method synchronization for source publication and cache
computation. Ensure both interleavings are covered by a barrier-based
concurrency test, preserving correct return types for subsequent reads.

In
`@src/main/java/com/github/_1c_syntax/bsl/languageserver/types/inferencer/ExpressionTypeInferencer.java`:
- Around line 829-843: Update the field and element guards in the surrounding
inferencer method to read raw maps directly from known.localFields() and
known.elementTypes(), rather than calling getLocalFields(ref) or other accessors
that force lazy values. Preserve the existing one-level LazyTypeSet creation via
withLazyField and withLazyElement, so self-referential fields and elements are
installed before any lazy evaluation occurs.

🪄 Autofix

Fix all unresolved CodeRabbit comments on this PR:

• Push a commit to this branch (recommended)
• Create a new PR with the fixes

---

ℹ️ Review info

⚙️ Run configuration

Configuration used: Path: .coderabbit.yaml

Review profile: CHILL

Plan: Pro Plus

Run ID: 83f93d6c-85a3-43e0-b255-c0d45c505bd1

📥 Commits

Reviewing files that changed from the base of the PR and between 2bbe4a1 and ab7a071.

📒 Files selected for processing (2)

• src/main/java/com/github/_1c_syntax/bsl/languageserver/types/index/SymbolTypeIndex.java
• src/main/java/com/github/_1c_syntax/bsl/languageserver/types/inferencer/ExpressionTypeInferencer.java

[sonarqubecloud]

Quality Gate passed

Issues
3 New issues
0 Accepted issues

Measures
0 Security Hotspots
86.0% Coverage on New Code
0.0% Duplication on New Code

See analysis details on SonarQube Cloud