From 5887686360787831aeacb90fd4fb0c235e927a11 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Julien=20Valverd=C3=A9?= <julien.valverde@mailo.com>
Date: Fri, 8 Mar 2024 19:52:38 +0100
Subject: [PATCH] ImplStatic

---
 src/TraitBuilder.ts | 7 ++++---
 src/lib.ts          | 2 +-
 2 files changed, 5 insertions(+), 4 deletions(-)

diff --git a/src/TraitBuilder.ts b/src/TraitBuilder.ts
index 219948e..f3afc25 100644
--- a/src/TraitBuilder.ts
+++ b/src/TraitBuilder.ts
@@ -120,11 +120,12 @@ export namespace TraitBuilder {
 }
 
 
-export type ImplStaticThis<
+export type ImplStatic<
     ImplClass extends AbstractClass<object> & { readonly [implSuperSymbol]: true }
 > = (
-    AbstractClass<InstanceType<ImplClass>> &
-    Omit<StaticMembers<ImplClass>, typeof implSuperSymbol>
+    Simplify<
+        Omit<StaticMembers<ImplClass>, typeof implSuperSymbol>
+    >
 )
 
 
diff --git a/src/lib.ts b/src/lib.ts
index 5cfa1af..3e9f23b 100644
--- a/src/lib.ts
+++ b/src/lib.ts
@@ -1,4 +1,4 @@
 export { Trait, TraitClass, TraitConcreteClass, TraitInstance, TraitStaticMembers, TraitTuple } from "./Trait"
-export { ImplStaticThis, TraitBuilder, trait } from "./TraitBuilder"
+export { ImplStatic, TraitBuilder, trait } from "./TraitBuilder"
 export { Implements, StaticImplements, TraitExpression, TraitExpressionClass, TraitExpressionConcreteClass, TraitExpressionInstance, TraitExpressionStaticMembers } from "./TraitExpression"
 export { TraitExpressionBuilder, expression } from "./TraitExpressionBuilder"