From b3bb310df3b030bd68e7f8cf547483fe9eeff3b2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Julien=20Valverd=C3=A9?= <julien.valverde@mailo.com>
Date: Sun, 12 May 2024 22:28:01 +0200
Subject: [PATCH] abstract

---
 src/TraitBuilder.ts | 19 ++++---------------
 1 file changed, 4 insertions(+), 15 deletions(-)

diff --git a/src/TraitBuilder.ts b/src/TraitBuilder.ts
index 2f129f8..74c7ff8 100644
--- a/src/TraitBuilder.ts
+++ b/src/TraitBuilder.ts
@@ -24,13 +24,13 @@ export class TraitBuilder<
     ) {}
 
 
-    abstract<A extends Abstract>(
-        _: (Super: AbstractConstructor<Abstract>) => AbstractConstructor<A, []>
+    abstract<A extends AbstractConstructor<Abstract> & StaticAbstract>(
+        _: (Super: AbstractConstructor<Abstract> & StaticAbstract) => A
     ) {
         return new TraitBuilder(
             this.traitSuperExpression,
-            {} as Simplify<A>,
-            this.traitStaticAbstract,
+            {} as Simplify<InstanceType<A>>,
+            {} as Simplify<StaticMembers<A>>,
             this.traitApply,
         )
     }
@@ -46,17 +46,6 @@ export class TraitBuilder<
         )
     }
 
-    staticAbstract<A extends StaticAbstract>(
-        _: (Super: AbstractConstructor<StaticAbstract>) => AbstractConstructor<A, []>
-    ) {
-        return new TraitBuilder(
-            this.traitSuperExpression,
-            this.traitAbstract,
-            {} as Simplify<A>,
-            this.traitApply,
-        )
-    }
-
     staticAbstractType<A extends StaticAbstract>(
         _: (Super: StaticAbstract) => typeof type<A>
     ) {