effect 3.16.2 → 3.16.4

package/src/internal/core-effect.ts

@@ -236,19 +236,29 @@ export const catchSomeDefect = dual<
 )
 
 /* @internal */
-export const catchTag = dual<
+export const catchTag: {
+  <E, const K extends Arr.NonEmptyReadonlyArray<E extends { _tag: string } ? E["_tag"] : never>>(
+    ...tags: K
+  ): <A, R>(self: Effect.Effect<A, E, R>) => never
   <E, const K extends Arr.NonEmptyReadonlyArray<E extends { _tag: string } ? E["_tag"] : never>, A1, E1, R1>(
-    ...args: [...tags: K, f: (e: Extract<NoInfer<E>, { _tag: K[number] }>) => Effect.Effect<A1, E1, R1>]
-  ) => <A, R>(self: Effect.Effect<A, E, R>) => Effect.Effect<A | A1, Exclude<E, { _tag: K[number] }> | E1, R | R1>,
+    ...args: [...tags: K, f: (e: Extract<Types.NoInfer<E>, { _tag: K[number] }>) => Effect.Effect<A1, E1, R1>]
+  ): <A, R>(self: Effect.Effect<A, E, R>) => Effect.Effect<A | A1, Exclude<E, { _tag: K[number] }> | E1, R | R1>
+  <A, E, R, const K extends Arr.NonEmptyReadonlyArray<E extends { _tag: string } ? E["_tag"] : never>>(
+    self: Effect.Effect<A, E, R>,
+    ...tags: K
+  ): never
   <A, E, R, const K extends Arr.NonEmptyReadonlyArray<E extends { _tag: string } ? E["_tag"] : never>, R1, E1, A1>(
     self: Effect.Effect<A, E, R>,
-    ...args: [...tags: K, f: (e: Extract<NoInfer<E>, { _tag: K[number] }>) => Effect.Effect<A1, E1, R1>]
-  ) => Effect.Effect<A | A1, Exclude<E, { _tag: K[number] }> | E1, R | R1>
->(
+    ...args: [...tags: K, f: (e: Extract<Types.NoInfer<E>, { _tag: K[number] }>) => Effect.Effect<A1, E1, R1>]
+  ): Effect.Effect<A | A1, Exclude<E, { _tag: K[number] }> | E1, R | R1>
+} = dual(
   (args: any) => core.isEffect(args[0]),
   <A, E, R, const K extends Arr.NonEmptyReadonlyArray<E extends { _tag: string } ? E["_tag"] : never>, R1, E1, A1>(
     self: Effect.Effect<A, E, R>,
-    ...args: [...tags: K, f: (e: Extract<NoInfer<E>, { _tag: K[number] }>) => Effect.Effect<A1, E1, R1>]
+    ...args: [
+      ...tags: K & { [I in keyof K]: E extends { _tag: string } ? E["_tag"] : never },
+      f: (e: Extract<Types.NoInfer<E>, { _tag: K[number] }>) => Effect.Effect<A1, E1, R1>
+    ]
   ): Effect.Effect<A | A1, Exclude<E, { _tag: K[number] }> | E1, R | R1> => {
     const f = args[args.length - 1] as any
     let predicate: Predicate.Predicate<E>
@@ -266,7 +276,7 @@ export const catchTag = dual<
     }
     return core.catchIf(self, predicate as Predicate.Refinement<E, Extract<E, { _tag: K[number] }>>, f) as any
   }
-)
+) as any
 
 /** @internal */
 export const catchTags: {

package/src/internal/core.ts

@@ -2241,6 +2241,7 @@ export const YieldableError: new(message?: string, options?: ErrorOptions) => Ca
       return this
     }
   }
+  // @effect-diagnostics-next-line floatingEffect:off
   Object.assign(YieldableError.prototype, StructuralCommitPrototype)
   return YieldableError as any
 })()

package/src/internal/fiberRuntime.ts

@@ -1693,7 +1693,7 @@ export const addFinalizer = <X, R>(
   core.withFiberRuntime(
     (runtime) => {
       const acquireRefs = runtime.getFiberRefs()
-      const acquireFlags = runtime.currentRuntimeFlags
+      const acquireFlags = runtimeFlags_.disable(runtime.currentRuntimeFlags, runtimeFlags_.Interruption)
       return core.flatMap(scope, (scope) =>
         core.scopeAddFinalizerExit(scope, (exit) =>
           core.withFiberRuntime((runtimeFinalizer) => {

package/src/internal/stream.ts

@@ -4984,6 +4984,7 @@ export const provideSomeLayer = dual<
     layer: Layer.Layer<ROut, E2, RIn>
   ): Stream.Stream<A, E2 | E, RIn | Exclude<R, ROut>> =>
     // @ts-expect-error
+    // @effect-diagnostics-next-line missingEffectContext:off
     pipe(
       self,
       provideLayer(pipe(Layer.context(), Layer.merge(layer)))

package/src/internal/version.ts

@@ -1,4 +1,4 @@
-let moduleVersion = "3.16.2"
+let moduleVersion = "3.16.4"
 
 export const getCurrentVersion = () => moduleVersion