fix inference for contravariant type-parameters (#4220)

Effect-TS · Jan 9, 2025 · 734af82 · 734af82
1 parent c640d77
commit 734af82
Show file tree

Hide file tree

Showing 5 changed files with 12 additions and 7 deletions.
diff --git a/.changeset/funny-rocks-glow.md b/.changeset/funny-rocks-glow.md
@@ -0,0 +1,5 @@
+---
+"effect": patch
+---
+
+fix inference for contravariant type-parameters
diff --git a/packages/effect/src/Layer.ts b/packages/effect/src/Layer.ts
@@ -82,9 +82,9 @@ export declare namespace Layer {
    */
   export interface Any {
     readonly [LayerTypeId]: {
-      readonly _ROut: any
-      readonly _E: any
-      readonly _RIn: any
+      readonly _ROut: Types.Contravariant<never>
+      readonly _E: Types.Covariant<any>
+      readonly _RIn: Types.Covariant<any>
     }
   }
   /**

diff --git a/packages/effect/src/ManagedRuntime.ts b/packages/effect/src/ManagedRuntime.ts
@@ -46,7 +46,7 @@ export declare namespace ManagedRuntime {
    * @category type-level
    * @since 3.4.0
    */
-  export type Error<T extends ManagedRuntime<any, any>> = [T] extends [ManagedRuntime<infer _R, infer E>] ? E : never
+  export type Error<T extends ManagedRuntime<never, any>> = [T] extends [ManagedRuntime<infer _R, infer E>] ? E : never
 }
 
 /**

diff --git a/packages/effect/src/Predicate.ts b/packages/effect/src/Predicate.ts
@@ -43,7 +43,7 @@ export declare namespace Predicate {
    * @since 3.6.0
    * @category type-level
    */
-  export type Any = Predicate<any>
+  export type Any = Predicate<never>
 }
 
 /**
@@ -842,7 +842,7 @@ export const struct: {
   const keys = Object.keys(fields)
   return (a: Record<string, unknown>) => {
     for (const key of keys) {
-      if (!fields[key](a[key])) {
+      if (!fields[key](a[key] as never)) {
         return false
       }
     }

diff --git a/packages/effect/src/Runtime.ts b/packages/effect/src/Runtime.ts
@@ -60,7 +60,7 @@ export declare namespace Runtime {
    * @since 3.12.0
    * @category Type Extractors
    */
-  export type Context<T extends Runtime<any>> = [T] extends [Runtime<infer R>] ? R : never
+  export type Context<T extends Runtime<never>> = [T] extends [Runtime<infer R>] ? R : never
 }
 
 /**