Effect schema inheritance fix
All checks were successful
continuous-integration/drone/push Build is passing

This commit is contained in:
Julien Valverdé
2024-05-12 03:50:51 +02:00
parent 5d949114e7
commit c9a7b660db

View File

@@ -33,7 +33,15 @@ implements TraitExpressionLike<
extends<Self>(): (
AbstractConstructor<
ApplyMutability<S.Struct.Type<Fields>, Mutability> &
Omit<Inherited, keyof Fields> &
Omit<
Simplify<
Extend<[
Inherited,
...TraitTuple.MapImplInstance<Traits>
]>
>,
keyof Fields
> &
Proto,
ConstructorParameters<S.Class<unknown, Fields, I, R, C, Inherited, Proto>>
@@ -45,12 +53,7 @@ implements TraitExpressionLike<
Fields,
ApplyMutability<I, EncodedMutability>,
R, C,
Simplify<
Extend<[
Inherited,
...TraitTuple.MapImplInstance<Traits>
]>
>,
Inherited,
Proto
>
> &