diff --git a/src/trait-inheritance.ts b/src/trait-inheritance.ts index 569cdea..dc0c5a7 100644 --- a/src/trait-inheritance.ts +++ b/src/trait-inheritance.ts @@ -10,8 +10,12 @@ import { AbstractClass, Opaque, UnionToIntersection } from "type-fest" export type StaticMembers = Pick -export type Trait> = - Opaque<(Parent: AbstractClass) => C, "Trait"> +export type Trait< + C extends AbstractClass +> = Opaque< + (Parent: AbstractClass) => C, + "Trait" +> export type GetTraitC = T extends Trait @@ -54,7 +58,6 @@ export function extendsAndExpresses< > & StaticMembers & - StaticMembers< UnionToIntersection< GetTraitC<