From e6d8a10f9853a4499b431a66c6c31d5926925cdd Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Julien=20Valverd=C3=A9?= <julien.valverde@mailo.com>
Date: Fri, 9 Feb 2024 14:38:23 +0100
Subject: [PATCH] StaticImplements -> ImplementsStatic

---
 src/TraitExpression.ts | 8 ++++++--
 src/tests.ts           | 4 +++-
 2 files changed, 9 insertions(+), 3 deletions(-)

diff --git a/src/TraitExpression.ts b/src/TraitExpression.ts
index 20ddbc5..da6244d 100644
--- a/src/TraitExpression.ts
+++ b/src/TraitExpression.ts
@@ -49,10 +49,14 @@ export class TraitExpression<
         ) as any
     }
 
+    implementsStatic(target: ImplementsStatic<typeof this>, context: any) {
+        return {}
+    }
+
     subtrait<
         This                          extends TraitExpression<typeof TraitExpression.NullSuperclass, any, any>,
         SubtraitAbstract              extends Implements<This>,
-        SubtraitStaticAbstract        extends StaticImplements<This>,
+        SubtraitStaticAbstract        extends ImplementsStatic<This>,
         SubtraitImplClassWithAbstract extends Class<SubtraitAbstract, []> & { _tag: TraitApplierSuperTag },
     >(
         this:            This,
@@ -115,7 +119,7 @@ export type Implements<Exp extends TraitExpression<any, any, any>> = (
     ]>
 )
 
-export type StaticImplements<Exp extends TraitExpression<any, any, any>> = (
+export type ImplementsStatic<Exp extends TraitExpression<any, any, any>> = (
     Pipe<Exp, [
         TraitExpression.AllTraitsFn,
         Tuples.Map<Trait.OwnStaticAbstractFn>,
diff --git a/src/tests.ts b/src/tests.ts
index c3194b2..3426d4d 100644
--- a/src/tests.ts
+++ b/src/tests.ts
@@ -1,5 +1,5 @@
 import { Trait, trait } from "./Trait"
-import { Implements, StaticImplements } from "./TraitExpression"
+import { Implements, ImplementsStatic, StaticImplements } from "./TraitExpression"
 import { expression } from "./TraitExpressionBuilder"
 import { abstract } from "./abstract"
 
@@ -80,7 +80,9 @@ const exp = expression
     .build()
 
 type Abs = Implements<typeof exp>
+type AbsStatic = ImplementsStatic<typeof exp>
 
+@exp.implementsStatic
 class User extends exp.extends implements Implements<typeof exp> {
     readonly isStatefulSubscription: true = true
     readonly isActiveStatefulSubscription: true = true