From de5bce07d825632b16613a4e3565a393a67dd3be Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Julien=20Valverd=C3=A9?= <julien.valverde@mailo.com>
Date: Sat, 11 May 2024 03:42:44 +0200
Subject: [PATCH] Fix

---
 src/effect/EffectSchemaTraitExpression.ts | 13 ++-----------
 1 file changed, 2 insertions(+), 11 deletions(-)

diff --git a/src/effect/EffectSchemaTraitExpression.ts b/src/effect/EffectSchemaTraitExpression.ts
index f42b0d9..1cdb9d6 100644
--- a/src/effect/EffectSchemaTraitExpression.ts
+++ b/src/effect/EffectSchemaTraitExpression.ts
@@ -1,14 +1,8 @@
 import { Schema as S } from "@effect/schema"
-import { AbstractClass, AbstractConstructor, Simplify } from "type-fest"
+import { AbstractConstructor, Simplify } from "type-fest"
 import { Trait, TraitTuple } from "../Trait"
 import { StaticImplements, TraitExpressionLike } from "../TraitExpression"
 import { Extend, StaticMembers } from "../util"
-import { Types } from "effect"
-
-
-type RequiredKeys<T> = {
-    [K in keyof T]-?: {} extends Pick<T, K> ? never : K
-  }[keyof T]
 
 
 export class EffectSchemaTraitExpression<
@@ -37,10 +31,7 @@ implements TraitExpressionLike<
             Omit<Inherited, keyof Fields> &
             Proto,
 
-            [
-                props: RequiredKeys<C> extends never ? void | {} : Types.Simplify<C>,
-                disableValidation?: boolean | undefined
-            ]
+            ConstructorParameters<S.Class<unknown, Fields, I, R, C, Inherited, Proto>>
         > &
 
         StaticMembers<