@neocompose/cli 0.31.4 → 0.31.5

package/CHANGELOG.md

@@ -1,5 +1,12 @@
 # Changelog
 
+## [0.31.5] - 2026-08-15
+
+### Fixed
+
+- Resolve callable members through generic class and interface constraints, so
+  an open generic value can call guaranteed APIs such as `Class.Clone()`.
+
 ## [0.31.4] - 2026-08-14
 
 ### Fixed

package/dist/neo.mjs

@@ -1832,6 +1832,21 @@ var init_generated_csharp_identifiers = __esm({
 });
 
 // ../packages/neoscript-language/src/project.ts
+function neoScriptMemberLookupType(type) {
+  if (type.kind !== "typeParameter") return type;
+  const visited = /* @__PURE__ */ new Set();
+  let current = type;
+  let nullable = type.nullable === true;
+  while (current.kind === "typeParameter") {
+    if (visited.has(current.id) || current.constraint === void 0) {
+      return type;
+    }
+    visited.add(current.id);
+    nullable ||= current.constraint.nullable === true;
+    current = current.constraint;
+  }
+  return nullable && current.nullable !== true ? { ...current, nullable: true } : current;
+}
 function neoScriptParameterIsOmittable(parameter4) {
   return parameter4.defaultValue !== void 0;
 }
@@ -3160,7 +3175,8 @@ function completionItemsForResolution(snapshot, resolved, word) {
       (member) => member.static === true && isMemberCompletionAccessible(snapshot, staticType, member)
     ).map((member) => symbolCompletion(member, word, snapshot));
   }
-  const owner = resolved.type.kind === "named" ? snapshot.project.typeById.get(resolved.type.typeId) : void 0;
+  const memberType2 = neoScriptMemberLookupType(resolved.type);
+  const owner = memberType2.kind === "named" ? snapshot.project.typeById.get(memberType2.typeId) : void 0;
   return membersForType(snapshot, resolved.type).filter(
     (symbol) => owner === void 0 || isMemberCompletionAccessible(snapshot, owner, symbol)
   ).map((symbol) => symbolCompletion(symbol, word, snapshot));
@@ -3174,6 +3190,17 @@ function isMemberCompletionAccessible(snapshot, owner, symbol) {
   }) === null;
 }
 function membersForType(snapshot, type) {
+  const memberType2 = neoScriptMemberLookupType(type);
+  if (memberType2 !== type) {
+    const members = [...membersForType(snapshot, memberType2)];
+    if (type.kind !== "typeParameter" || type.nullable === true) return members;
+    const named = memberType2.kind === "named" ? snapshot.project.typeById.get(memberType2.typeId) : void 0;
+    if (named?.kind !== "class") return members;
+    const cloneId = `builtin:${named.id}:Clone`;
+    return members.map(
+      (member) => member.id === cloneId ? cloneSymbol(named, type) : member
+    );
+  }
   if (type.kind === "named") {
     const named = snapshot.project.typeById.get(type.typeId);
     if (!named) return [];
@@ -3950,13 +3977,13 @@ function stringContainsSymbol() {
     "Returns true when the string contains the substring."
   );
 }
-function cloneSymbol(type) {
+function cloneSymbol(type, returnType = { kind: "named", typeId: type.id }) {
   return {
     id: `builtin:${type.id}:Clone`,
     name: "Clone",
     kind: "method",
-    type: { kind: "named", typeId: type.id },
-    returnType: { kind: "named", typeId: type.id },
+    type: returnType,
+    returnType,
     parameters: [],
     documentation: `Deep-copy this ${type.name} into a new parentless writable value.`
   };
@@ -11871,11 +11898,12 @@ var init_strict_resolver = __esm({
             pos
           );
         }
-        if (receiver.type.kind === "named") {
-          const type = this.project.typeById.get(receiver.type.typeId);
+        const memberReceiverType = neoScriptMemberLookupType(receiver.type);
+        if (memberReceiverType.kind === "named") {
+          const type = this.project.typeById.get(memberReceiverType.typeId);
           if (!type) {
             throw new CompileError(
-              `Type ${receiver.type.typeId} was not found in the project.`,
+              `Type ${memberReceiverType.typeId} was not found in the project.`,
               pos
             );
           }
@@ -11909,7 +11937,7 @@ var init_strict_resolver = __esm({
           }
           const memberType2 = substituteTypeParameters(
             member.type,
-            receiver.type,
+            memberReceiverType,
             type
           );
           if (member.computed === true) {
@@ -12350,8 +12378,9 @@ var init_strict_resolver = __esm({
             pos
           );
         }
-        if (receiver.type.kind === "named") {
-          const type = this.project.typeById.get(receiver.type.typeId);
+        const memberReceiverType = neoScriptMemberLookupType(receiver.type);
+        if (memberReceiverType.kind === "named") {
+          const type = this.project.typeById.get(memberReceiverType.typeId);
           const member = type?.members.find(
             (candidate) => (candidate.kind === "function" || candidate.kind === "method") && candidate.name === callee.name
           );
@@ -12365,7 +12394,10 @@ var init_strict_resolver = __esm({
             }
             return this.resolveSymbolCall(
               member,
-              { kind: "instance", expression: receiver },
+              {
+                kind: "instance",
+                expression: memberReceiverType === receiver.type ? receiver : { ...receiver, type: memberReceiverType }
+              },
               argumentsList2,
               scope,
               pos,
@@ -12385,7 +12417,7 @@ var init_strict_resolver = __esm({
                 pos
               );
             }
-            const schemaClass2 = toWireType(receiver.type, this.project);
+            const schemaClass2 = toWireType(memberReceiverType, this.project);
             return {
               pointer: {
                 type: "function" /* Function */,
@@ -110651,7 +110683,7 @@ var init_registry2 = __esm({
     PROJECT_SCHEMA_CONTRACT = Object.freeze({
       formatVersion: 3,
       contractVersion: "3.12",
-      cliVersion: "0.31.4",
+      cliVersion: "0.31.5",
       projectFileUploadBatchSize: 32,
       documentRecords: {
         member: {
@@ -117246,7 +117278,7 @@ There is no --keep-current: preserving current semantic state defines flatten.
 async function main() {
   const args = parseArgs(process.argv.slice(2));
   if (args.command === "--version") {
-    console.log("0.31.4");
+    console.log("0.31.5");
     return;
   }
   if (args.command === null || args.command === "help" || args.command === "--help" || args.command === "-h") {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@neocompose/cli",
-  "version": "0.31.4",
+  "version": "0.31.5",
   "description": "Neo Compose native project-source CLI with bidirectional sync.",
   "license": "MIT",
   "type": "module",

package/skills/neocompose-cli/SKILL.md

@@ -9,7 +9,7 @@ description: >-
   `@neocompose/cli` or `node cli/bin/neo.mjs` in the neo-compose repository.
 ---
 
-<!-- reviewed-through-cli: 0.31.4 -->
+<!-- reviewed-through-cli: 0.31.5 -->
 
 # Neo Compose CLI
 

package/skills/neocompose-cli/references/cli-development.md

@@ -83,7 +83,7 @@ wrappers.
 The marker near the top of `SKILL.md` must exactly match the package version:
 
 ```html
-<!-- reviewed-through-cli: 0.31.4 -->
+<!-- reviewed-through-cli: 0.31.5 -->
 ```
 
 The quoted version above is checked too, so this instruction cannot go stale