ImplStatic

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>> &
+    Simplify<
         Omit<StaticMembers<ImplClass>, typeof implSuperSymbol>
+    >
 )
 
 

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"