fix(types): неразобранный модуль виден по происхождению членов

Признак «у типа нет членов» путал два разных случая. Платформенные члены
приходят из синтакс-помощника и о разборе файла ничего не говорят: у общего
модуля это ЭтотОбъект, и он есть у типа независимо от того, разобран ли модуль.
Поэтому тип с одними платформенными членами выглядел разобранным, обращение к
нему отвечало пустотой, и неполнота не помечалась.

Дескриптор члена несёт своё происхождение сам: standardLibrary у платформенных
и стандартных реквизитов, false у всего, что пришло из конфигурации. Проверка
теперь спрашивает именно это — есть ли у типа хоть один член из конфигурации.

На ssl_3_1 чередующимся замером: мерцающих строк 103 -> 55, расхождения между
парами прогонов 46-62 -> 6-48.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_017cu7S3zYn7n6GMsdYf5v1q

Author: nixel2007

src/main/java/com/github/_1c_syntax/bsl/languageserver/types/index/MethodReturnTypeIndexer.java

@@ -240,6 +240,43 @@ public void handleServerContextPopulated(ServerContextPopulatedEvent event) {
     LOGGER.debug("Доразрешение типов возврата: отложено методов {}, разборов документов {},"
         + " из них различных документов {}, заняло {} мс",
       deferred, rebuilt.get(), rebuiltUris.size(), (System.nanoTime() - startedAt) / 1_000_000);
+    dumpForDiff();
+  }
+
+  // ЗОНД, не для коммита в develop: снимок индекса после прохода для сравнения запусков.
+  @SuppressWarnings("all")
+  private void dumpForDiff() {
+    var path = System.getProperty("bsl.dumpReturnTypes");
+    if (path == null) {
+      return;
+    }
+    var lines = new java.util.TreeSet<String>();
+    for (var method : indexed) {
+      lines.add(method.getOwner().getUri() + "#" + method.getName()
+        + "\t" + render(symbolTypeIndex.getReturnTypes(method)));
+    }
+    try {
+      java.nio.file.Files.write(java.nio.file.Path.of(path), lines);
+    } catch (java.io.IOException e) {
+      LOGGER.error("Дамп не записан", e);
+    }
+  }
+
+  // ЗОНД: каноническая форма набора — порядок карт на неё не влияет.
+  @SuppressWarnings("all")
+  private static String render(TypeSet types) {
+    var parts = new java.util.TreeSet<String>();
+    types.refs().forEach(ref -> parts.add(ref.qualifiedName()));
+    types.elementTypes().forEach((ref, element) ->
+      parts.add(ref.qualifiedName() + "[]=" + render(element)));
+    types.lazyElements().keySet().forEach(ref -> parts.add(ref.qualifiedName() + "[]~"));
+    types.localFields().forEach((ref, fields) ->
+      parts.add(ref.qualifiedName() + "." + new java.util.TreeSet<>(fields.keySet())));
+    types.lazyFields().forEach((ref, fields) ->
+      parts.add(ref.qualifiedName() + ".~" + new java.util.TreeSet<>(fields.keySet())));
+    types.describedTypes().forEach((ref, described) ->
+      parts.add(ref.qualifiedName() + ":" + render(described)));
+    return String.join(",", parts);
   }
 
   /**

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

@@ -709,12 +709,15 @@ private TypeSet inferDereference(BinaryOperationNode node, InferenceContext ctx)
       // совпадает с element-ref'ом коллекции.
       var elementSet = leftTypes.getElementTypes(leftType);
       var members = typeRegistry.getMembers(leftType, ctx.documentContext.getFileType());
-      // Тип конфигурационного модуля без единого члена — модуль, чей файл ещё не разобран:
-      // сами по себе типы объявлены заранее, а члены приходят с разбором. Пока области
-      // наполняются, до части модулей очередь не дошла, и обращение в такой модуль
-      // отвечает пустотой, ничем не отличимой от честной. Расчёт придётся повторить.
+      // Тип конфигурации, у которого нет ни одного члена из самой конфигурации, — модуль,
+      // чей файл ещё не разобран: типы объявлены заранее, а члены приносит разбор.
+      // Платформенные члены (у общего модуля это ЭтотОбъект) не в счёт: они приходят из
+      // синтакс-помощника и о разборе ничего не говорят — потому и различаются по
+      // standardLibrary. Пока область наполняется, обращение в такой модуль отвечает
+      // пустотой, ничем не отличимой от честной; расчёт придётся повторить.
       unparsedModule = unparsedModule
-        || (leftType.kind() == TypeKind.CONFIGURATION && members.isEmpty());
+        || (leftType.kind() == TypeKind.CONFIGURATION
+        && members.stream().allMatch(MemberDescriptor::standardLibrary));
       for (var member : members) {
         result = result.union(typesOfMember(member, memberName, expectedKind, elementSet, ctx));
       }