From 517792b1c2c08798796df4e7635a4c365a655713 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Julien=20Valverd=C3=A9?= <julien.valverde@mailo.com>
Date: Sun, 18 Feb 2024 04:10:20 +0100
Subject: [PATCH] Found working approach

---
 src/TraitBuilder.ts |  6 ++----
 src/tests.ts        | 24 ++++++++++++++++--------
 2 files changed, 18 insertions(+), 12 deletions(-)

diff --git a/src/TraitBuilder.ts b/src/TraitBuilder.ts
index 30ad5f2..b92658d 100644
--- a/src/TraitBuilder.ts
+++ b/src/TraitBuilder.ts
@@ -68,10 +68,8 @@ type MapTraitsToOwnImplInstance<T extends readonly any[]> = {
 type MapTraitsToOwnImplStaticMembers<T extends readonly any[]> = {
     [K in keyof T]: Trait.OwnImplClass<T[K]>
 }
-type MapStaticMembers<Tuple extends readonly AbstractClass<any>[]> = {
-    [TupleK in keyof Tuple]: {
-        [ClassK in keyof Tuple[TupleK]]: Tuple[TupleK][ClassK]
-    }
+type MapStaticMembers<T extends readonly AbstractClass<any>[]> = {
+    [K in keyof T]: StaticMembers<T[K]>
 }
 
 
diff --git a/src/tests.ts b/src/tests.ts
index 7d26ae9..8c2207d 100644
--- a/src/tests.ts
+++ b/src/tests.ts
@@ -84,19 +84,27 @@ class User extends exp.extends implements Implements<typeof exp> {
 console.log(new User())
 
 
-type ExpectsObjectArray<T extends readonly object[]> = T
+type ExpectObjectArray<T extends readonly object[]> = T
+
+type MapOwnImplClass<T extends readonly any[]> = {
+    [K in keyof T]: Trait.OwnImplClass<T[K]>
+}
 
 type MapStaticMembers<T extends readonly any[]> = {
     [K in keyof T]: StaticMembers<T[K]>
 }
 
-type MapClasses<Classes extends AbstractClass<any>[]> = (
-    ExpectsObjectArray<
-        MapStaticMembers<
-            Classes
+
+type MapClasses<Exp> = (
+    Exp extends TraitExpression<any, infer Traits>
+        ? ExpectObjectArray<
+            MapStaticMembers<
+                MapOwnImplClass<
+                    Traits
+                >
+            >
         >
-    >
+        : never
 )
 
-
-type Output = MapClasses<[typeof User]>
+type Output = MapClasses<typeof exp>