@marko/language-tools 2.5.35 → 2.5.37

package/dist/index.js

@@ -2118,9 +2118,9 @@ export { type Component }
           );
         } else {
           this.#extractor.write(
-            `/** @typedef {import("${stripExt(
+            `/** @typedef {${varShared("ResolveComponent")}<typeof import("${stripExt(
               (0, import_relative_import_path.relativeImportPath)(this.#filename, componentFileName)
-            )}") extends infer Component ? Component extends { default: infer Component } ? Component : Component : Marko.Component<Input${typeArgsStr}>} Component */
+            )}")>} Component */
 `
           );
         }

package/dist/index.mjs

@@ -2081,9 +2081,9 @@ export { type Component }
           );
         } else {
           this.#extractor.write(
-            `/** @typedef {import("${stripExt(
+            `/** @typedef {${varShared("ResolveComponent")}<typeof import("${stripExt(
               relativeImportPath(this.#filename, componentFileName)
-            )}") extends infer Component ? Component extends { default: infer Component } ? Component : Component : Marko.Component<Input${typeArgsStr}>} Component */
+            )}")>} Component */
 `
           );
         }

package/marko.internal.d.ts

@@ -461,6 +461,17 @@ declare global {
         (): () => <Input>(input: Input) => ReturnAndScope<Scopes<Input>, void>;
       }
 
+      export type ResolveComponent<Component> = CheckNever<
+        ComponentOf<
+          InstanceOf<
+            Component extends { default: infer Component }
+              ? Component
+              : Component
+          >
+        >,
+        Marko.Component
+      >;
+
       export type Relate<A, B> = B extends A ? A : B;
     }
   }
@@ -621,7 +632,9 @@ type KnownRecordKeys<T> = keyof {
         : CheckNever<T[Key], never, Key>]: 0;
 };
 
-type CheckNever<T, If, Else> = [T] extends [never] ? If : Else;
+type CheckNever<T, If, Else = T> = [T] extends [never] ? If : Else;
+type ComponentOf<T> = T extends Marko.Component ? T : T & Marko.Component;
+type InstanceOf<T> = T extends abstract new () => infer R ? R : T;
 
 type UnionToIntersection<T> = (T extends any ? (_: T) => any : never) extends (
   _: infer U,

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@marko/language-tools",
   "description": "Marko Language Tools",
-  "version": "2.5.35",
+  "version": "2.5.37",
   "bugs": "https://github.com/marko-js/language-server/issues/new?template=Bug_report.md",
   "peerDependencies": {
     "@marko/compiler": "^5.28.4"