@elaraai/tsserver-plugin-east 1.0.86 → 1.0.87

package/dist/index.cjs

@@ -1981,13 +1981,12 @@ var NAME21 = "no-dynamic-bind-path";
 var CODE21 = 990026;
 var KEY_ARG_INDEX = {
   Data: 0,
-  State: 1,
-  Navigation: 1
+  State: 1
 };
 var noDynamicBindPath = {
   name: NAME21,
   code: CODE21,
-  description: "Data.bind / State.bind / Navigation.bind keys must be IR-build constants \u2014 an East-computed key can't be captured in the ui() manifest.",
+  description: "Data.bind / State.bind keys must be IR-build constants \u2014 an East-computed key can't be captured in the ui() manifest.",
   check(node, ctx) {
     const t = ctx.ts;
     if (!t.isCallExpression(node))
@@ -2159,6 +2158,31 @@ function isValueConstructorCall(call, ctx) {
   const callee = call.expression;
   return t.isIdentifier(callee) && (callee.text === "variant" || callee.text === "some") && resolvesToEastImport(callee, ctx.checker, t);
 }
+function mentionsEastValueType(node, ctx, seen) {
+  const t = ctx.ts;
+  if (node.kind === t.SyntaxKind.AnyKeyword || node.kind === t.SyntaxKind.UnknownKeyword)
+    return true;
+  if (t.isTypeReferenceNode(node)) {
+    const named = ctx.checker.getSymbolAtLocation(node.typeName);
+    const symbol = named !== void 0 && (named.flags & t.SymbolFlags.Alias) !== 0 ? ctx.checker.getAliasedSymbol(named) : named;
+    const declarations = symbol?.declarations ?? [];
+    if (declarations.some((d) => declaredByEast(d) || t.isTypeParameterDeclaration(d)))
+      return true;
+    if (symbol !== void 0 && !seen.has(symbol)) {
+      seen.add(symbol);
+      if (declarations.some((d) => t.isTypeAliasDeclaration(d) && mentionsEastValueType(d.type, ctx, seen)))
+        return true;
+    }
+  }
+  return t.forEachChild(node, (child) => mentionsEastValueType(child, ctx, seen) ? true : void 0) === true;
+}
+function writtenInEastValues(signature, index, ctx) {
+  const params = signature.getParameters();
+  const declaration = params[Math.min(index, params.length - 1)]?.valueDeclaration;
+  if (declaration === void 0 || !ctx.ts.isParameter(declaration) || declaration.type === void 0)
+    return true;
+  return mentionsEastValueType(declaration.type, ctx, /* @__PURE__ */ new Set());
+}
 function parameterTypeAt(signature, index, call, ctx) {
   const t = ctx.ts;
   const params = signature.getParameters();
@@ -2206,7 +2230,10 @@ function flowOf(e, ctx) {
       if (signature !== void 0 && declaration !== void 0 && declaredByEastPackage(declaration)) {
         const index = args.indexOf(node);
         const param = parameterTypeAt(signature, index, parent, ctx);
-        return param !== void 0 && isEastExprType(param) ? "program" : "value";
+        if (param !== void 0 && isEastExprType(param))
+          return "program";
+        if (declaredByEast(declaration) || writtenInEastValues(signature, index, ctx))
+          return "value";
       }
       return east ? "value" : "host";
     }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@elaraai/tsserver-plugin-east",
-  "version": "1.0.86",
+  "version": "1.0.87",
   "license": "AGPL-3.0-or-later",
   "description": "TypeScript language service plugin for East — East idiom diagnostics and localized East type-diff error messages as native editor squiggles.",
   "main": "dist/index.cjs",
@@ -32,8 +32,8 @@
   "devDependencies": {
     "esbuild": "^0.27.3",
     "typescript": "~5.9.2",
-    "@elaraai/east": "1.0.86",
-    "@elaraai/east-diagnostics": "1.0.86"
+    "@elaraai/east": "1.0.87",
+    "@elaraai/east-diagnostics": "1.0.87"
   },
   "scripts": {
     "build": "node scripts/build.mjs",