@effect/language-service 0.58.1 → 0.58.3

package/cli.js

@@ -30911,6 +30911,9 @@ function makeTypeScriptUtils(ts) {
     }
     return node;
   }
+  function isDeclarationKind(kind) {
+    return kind === ts.SyntaxKind.ArrowFunction || kind === ts.SyntaxKind.BindingElement || kind === ts.SyntaxKind.ClassDeclaration || kind === ts.SyntaxKind.ClassExpression || kind === ts.SyntaxKind.ClassStaticBlockDeclaration || kind === ts.SyntaxKind.Constructor || kind === ts.SyntaxKind.EnumDeclaration || kind === ts.SyntaxKind.EnumMember || kind === ts.SyntaxKind.ExportSpecifier || kind === ts.SyntaxKind.FunctionDeclaration || kind === ts.SyntaxKind.FunctionExpression || kind === ts.SyntaxKind.GetAccessor || kind === ts.SyntaxKind.ImportClause || kind === ts.SyntaxKind.ImportEqualsDeclaration || kind === ts.SyntaxKind.ImportSpecifier || kind === ts.SyntaxKind.InterfaceDeclaration || kind === ts.SyntaxKind.JsxAttribute || kind === ts.SyntaxKind.MethodDeclaration || kind === ts.SyntaxKind.MethodSignature || kind === ts.SyntaxKind.ModuleDeclaration || kind === ts.SyntaxKind.NamespaceExportDeclaration || kind === ts.SyntaxKind.NamespaceImport || kind === ts.SyntaxKind.NamespaceExport || kind === ts.SyntaxKind.Parameter || kind === ts.SyntaxKind.PropertyAssignment || kind === ts.SyntaxKind.PropertyDeclaration || kind === ts.SyntaxKind.PropertySignature || kind === ts.SyntaxKind.SetAccessor || kind === ts.SyntaxKind.ShorthandPropertyAssignment || kind === ts.SyntaxKind.TypeAliasDeclaration || kind === ts.SyntaxKind.TypeParameter || kind === ts.SyntaxKind.VariableDeclaration || kind === ts.SyntaxKind.JSDocTypedefTag || kind === ts.SyntaxKind.JSDocCallbackTag || kind === ts.SyntaxKind.JSDocPropertyTag || kind === ts.SyntaxKind.NamedTupleMember;
+  }
   return {
     findNodeAtPositionIncludingTrivia,
     parsePackageContentNameAndVersionFromScope,
@@ -30933,7 +30936,8 @@ function makeTypeScriptUtils(ts) {
     parseAccessedExpressionForCompletion,
     getSourceFileOfNode,
     isOuterExpression,
-    skipOuterExpressions
+    skipOuterExpressions,
+    isDeclarationKind
   };
 }
 
@@ -33459,18 +33463,12 @@ var annotate3 = createCodegen({
       for (const variableDeclaration of variableDeclarations) {
         if (!variableDeclaration.initializer) continue;
         const initializerType = typeChecker.getTypeAtLocation(variableDeclaration.initializer);
+        const enclosingNode = ts.findAncestor(variableDeclaration, (_) => tsUtils.isDeclarationKind(_.kind)) || sourceFile;
         const initializerTypeNode = fromNullable(typeCheckerUtils.typeToSimplifiedTypeNode(
           initializerType,
-          node,
+          enclosingNode,
           ts.NodeBuilderFlags.NoTruncation
         )).pipe(
-          orElse(
-            () => fromNullable(typeCheckerUtils.typeToSimplifiedTypeNode(
-              initializerType,
-              void 0,
-              ts.NodeBuilderFlags.NoTruncation
-            ))
-          ),
           getOrUndefined
         );
         if (!initializerTypeNode) continue;
@@ -33698,9 +33696,11 @@ var anyUnknownInErrorContext = createDiagnostic({
       }
       if (ts.isParameter(node) || ts.isPropertyDeclaration(node) || ts.isVariableDeclaration(node)) {
         if (node.type) {
+          const typeNode = node.type;
           const type3 = typeChecker.getTypeAtLocation(node.type);
           const expectedEffect = yield* pipe(
             typeParser.strictEffectType(type3, node.type),
+            orElse14(() => typeParser.layerType(type3, typeNode)),
             orElse14(() => void_8)
           );
           if (expectedEffect) continue;
@@ -33722,8 +33722,9 @@ var anyUnknownInErrorContext = createDiagnostic({
       if (!type2) continue;
       yield* pipe(
         typeParser.strictEffectType(type2, node),
-        map34((effect3) => {
-          const { E, R } = effect3;
+        orElse14(() => pipe(typeParser.layerType(type2, node), map34(({ E, RIn }) => ({ E, R: RIn })))),
+        map34((effectOrLayer) => {
+          const { E, R } = effectOrLayer;
           const hasAnyUnknownR = isAnyOrUnknown(R);
           const hasAnyUnknownE = isAnyOrUnknown(E);
           if (hasAnyUnknownR || hasAnyUnknownE) {
@@ -33746,7 +33747,7 @@ var anyUnknownInErrorContext = createDiagnostic({
                 matchingNodes.splice(i, 1);
               }
             }
-            const suggestions = [`This Effect has ${channels.join(" and ")} which is not recommended.`];
+            const suggestions = [`This has ${channels.join(" and ")} which is not recommended.`];
             if (hasAnyUnknownR) {
               suggestions.push(`Only service identifiers should appear in the requirements channel.`);
             }