StaticImplements -> ImplementsStatic

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>,

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