src/Trait.ts

@@ -39,42 +39,52 @@ export class Trait<
     ) {}
 }
 
-export interface TraitOwnAbstractFn extends Fn {
-    return: this["arg0"] extends Trait<any, infer Abstract, any>
+export type TraitOwnAbstract<T> = (
+    T extends Trait<any, infer Abstract, any>
         ? Abstract
         : never
+)
+export interface TraitOwnAbstractFn extends Fn {
+    return: TraitOwnAbstract<this["arg0"]>
 }
-export type TraitOwnAbstract<T> = Call<TraitOwnAbstractFn, T>
 
-export interface TraitOwnImplClassFn extends Fn {
-    return: this["arg0"] extends Trait<any, any, infer ImplClass>
+export type TraitOwnImplClass<T> = (
+    T extends Trait<any, any, infer ImplClass>
         ? ImplClass
         : never
+)
+export interface TraitOwnImplClassFn extends Fn {
+    return: TraitOwnImplClass<this["arg0"]>
 }
-export type TraitOwnImplClass<T> = Call<TraitOwnImplClassFn, T>
 
-export interface TraitOwnImplInstanceFn extends Fn {
-    return: this["arg0"] extends Trait<any, any, infer ImplClass>
+export type TraitOwnImplInstance<T> = (
+    T extends Trait<any, any, infer ImplClass>
         ? InstanceType<ImplClass>
         : never
+)
+export interface TraitOwnImplInstanceFn extends Fn {
+    return: TraitOwnImplInstance<this["arg0"]>
 }
-export type TraitOwnImplInstance<T> = Call<TraitOwnImplInstanceFn, T>
 
-export interface TraitOwnClassFn extends Fn {
-    return: this["arg0"] extends Trait<any, infer Abstract, infer ImplClass>
+export type TraitOwnClass<T> = (
+    T extends Trait<any, infer Abstract, infer ImplClass>
         ? AddAbstractToImplClass<ImplClass, Abstract>
         : never
+)
+export interface TraitOwnClassFn extends Fn {
+    return: TraitOwnClass<this["arg0"]>
 }
-export type TraitOwnClass<T> = Call<TraitOwnClassFn, T>
 
-export interface TraitOwnInstanceFn extends Fn {
-    return: this["arg0"] extends Trait<any, infer Abstract, infer ImplClass>
+export type TraitOwnInstance<T> = (
+    T extends Trait<any, infer Abstract, infer ImplClass>
         ? InstanceType<
             AddAbstractToImplClass<ImplClass, Abstract>
         >
         : never
+)
+export interface TraitOwnInstanceFn extends Fn {
+    return: TraitOwnInstance<this["arg0"]>
 }
-export type TraitOwnInstance<T> = Call<TraitOwnInstanceFn, T>
 
 
 export interface TraitSupertraitsFn extends Fn {