From 48c64178f5f938b19f0b9cd85d648b4863a89949 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Julien=20Valverd=C3=A9?= <julien.valverde@mailo.com>
Date: Fri, 9 Feb 2024 18:35:15 +0100
Subject: [PATCH] Fixed static abstract

---
 src/TraitExpression.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/TraitExpression.ts b/src/TraitExpression.ts
index d3ea079..d107da7 100644
--- a/src/TraitExpression.ts
+++ b/src/TraitExpression.ts
@@ -60,7 +60,7 @@ export class TraitExpression<
         this:            This,
         abstract:        (expression: This) => Opaque<SubtraitAbstract, AbstractTag>,
         staticAbstract:  (expression: This) => Opaque<SubtraitStaticAbstract, AbstractTag>,
-        apply:           (Super: AbstractClass<SubtraitAbstract> & { _tag: TraitApplierSuperTag }) => SubtraitImplClassWithAbstract,
+        apply:           (Super: AbstractClass<SubtraitAbstract> & SubtraitStaticAbstract & { _tag: TraitApplierSuperTag }) => SubtraitImplClassWithAbstract,
     ) {
         return new Trait(
             this,