ImplStaticThis helper

src/TraitBuilder.ts

@@ -120,6 +120,14 @@ export namespace TraitBuilder {
 }
 
 
+export type ImplStaticThis<
+    ImplClass extends AbstractClass<object> & { readonly [implSuperSymbol]: true }
+> = (
+    AbstractClass<InstanceType<ImplClass>> &
+    Omit<StaticMembers<ImplClass>, typeof implSuperSymbol>
+)
+
+
 export const trait = new TraitBuilder(
     new TraitExpression(TraitExpression.NullSuperclass, []),
     {} as object,

src/lib.ts

@@ -1,4 +1,4 @@
 export { Trait, TraitClass, TraitConcreteClass, TraitInstance, TraitStaticMembers, TraitTuple } from "./Trait"
-export { TraitBuilder, trait } from "./TraitBuilder"
+export { ImplStaticThis, TraitBuilder, trait } from "./TraitBuilder"
 export { Implements, StaticImplements, TraitExpression, TraitExpressionClass, TraitExpressionConcreteClass, TraitExpressionInstance, TraitExpressionStaticMembers } from "./TraitExpression"
 export { TraitExpressionBuilder, expression } from "./TraitExpressionBuilder"