refactor: simplify plugin type system by removing fallback overloads

- Remove complex overload resolution system in favor of direct
inheritance checking.
- Remove (element: any): {} fallback overloads from PluginFn
signatures
- Replace complex ResolvePluginReturn with simple TKind extends P
inheritance check
- Simplify PluginPropsOf type with inline constraint
- Fix JSDoc comment for CameraKind type

This eliminates the need for R1-R5 overload complexity while
maintaining full functionality through direct type inheritance
matching.

Author: bigmistqke

src/types.ts

@@ -114,7 +114,7 @@ export interface Viewport {
   aspect: number
 }
 
-/** Possible camera types. */
+/** Possible camera kinds. */
 export type CameraKind = PerspectiveCamera | OrthographicCamera
 
 export type Loader<TSource, TResult extends object> = {
@@ -318,7 +318,6 @@ export interface PluginFn {
     methods: (element: T extends readonly Constructor<infer U>[] ? U : never) => Methods,
   ): Plugin<{
     (element: T extends readonly Constructor<infer U>[] ? U : never): Methods
-    (element: any): {}
   }>
 
   // No setup - direct usage with two arguments (type guard)
@@ -327,7 +326,6 @@ export interface PluginFn {
     methods: (element: T) => Methods,
   ): Plugin<{
     (element: T): Methods
-    (element: any): {}
   }>
 
   // Setup function
@@ -349,7 +347,6 @@ export interface PluginFn {
         ) => Methods,
       ): Plugin<{
         (element: T extends readonly Constructor<infer U>[] ? U : never): Methods
-        (element: any): {}
       }>
 
       // With setup - two arguments (type guard)
@@ -358,7 +355,6 @@ export interface PluginFn {
         methods: (element: T, context: TSetupContext) => Methods,
       ): Plugin<{
         (element: T): Methods
-        (element: any): {}
       }>
     }
   }
@@ -370,81 +366,10 @@ export type InferPluginProps<TPlugins extends Plugin[]> = Merge<{
     : never
 }>
 
-/**
- * Helper type to resolve overloaded function returns
- * Matches overloads from most specific to least specific
- */
-type ResolvePluginReturn<TFn, TTarget> = TFn extends {
-  (element: infer P1): infer R1
-  (element: infer P2): infer R2
-  (element: infer P3): infer R3
-  (element: infer P4): infer R4
-  (element: infer P5): infer R5
-}
-  ? TTarget extends P1
-    ? R1
-    : TTarget extends P2
-    ? R2
-    : TTarget extends P3
-    ? R3
-    : TTarget extends P4
-    ? R4
-    : TTarget extends P5
-    ? R5
-    : never
-  : TFn extends {
-      (element: infer P1): infer R1
-      (element: infer P2): infer R2
-      (element: infer P3): infer R3
-      (element: infer P4): infer R4
-    }
-  ? TTarget extends P1
-    ? R1
-    : TTarget extends P2
-    ? R2
-    : TTarget extends P3
-    ? R3
-    : TTarget extends P4
-    ? R4
-    : never
-  : TFn extends {
-      (element: infer P1): infer R1
-      (element: infer P2): infer R2
-      (element: infer P3): infer R3
-    }
-  ? TTarget extends P1
-    ? R1
-    : TTarget extends P2
-    ? R2
-    : TTarget extends P3
-    ? R3
-    : never
-  : TFn extends { (element: infer P1): infer R1; (element: infer P2): infer R2 }
-  ? TTarget extends P1
-    ? R1
-    : TTarget extends P2
-    ? R2
-    : never
-  : TFn extends { (element: infer P): infer R }
-  ? TTarget extends P
-    ? R
-    : never
-  : never
-
-/**
- * Resolves what a plugin returns for a specific element type T
- * Handles both simple functions and overloaded functions
- */
 type PluginReturn<TPlugin, TKind> = TPlugin extends Plugin<infer TFn>
-  ? TFn extends (...args: any[]) => any
-    ? ResolvePluginReturn<TFn, TKind> extends infer TResult
-      ? TResult extends never
-        ? TFn extends (element: TKind) => infer R
-          ? R
-          : TFn extends (element: any) => infer R
-          ? R
-          : {}
-        : TResult
+  ? TFn extends { (element: infer P): infer R }
+    ? TKind extends P
+      ? R
       : {}
     : {}
   : {}
@@ -454,11 +379,12 @@ type PluginReturn<TPlugin, TKind> = TPlugin extends Plugin<infer TFn>
  * This allows plugins to provide conditional methods based on the actual element type
  */
 export type PluginPropsOf<T, TPlugins extends Plugin[]> = Merge<{
-  [K in keyof TPlugins]: PluginReturn<TPlugins[K], T> extends infer Methods
-    ? Methods extends Record<string, any>
-      ? {
-          [M in keyof Methods]: Methods[M] extends (value: infer V) => any ? V : never
-        }
-      : {}
+  [K in keyof TPlugins]: PluginReturn<TPlugins[K], T> extends infer Methods extends Record<
+    string,
+    any
+  >
+    ? {
+        [M in keyof Methods]: Methods[M] extends (value: infer V) => any ? V : never
+      }
     : {}
 }>