Finding implicit Tag fails sometimes for generic type argument about zio HOT 6 CLOSED

Index: core/shared/src/main/scala-3/zio/internal/macros/LayerMacroUtils.scala
IDEA additional info:
Subsystem: com.intellij.openapi.diff.impl.patch.CharsetEP
<+>UTF-8
===================================================================
diff --git a/core/shared/src/main/scala-3/zio/internal/macros/LayerMacroUtils.scala b/core/shared/src/main/scala-3/zio/internal/macros/LayerMacroUtils.scala
--- a/core/shared/src/main/scala-3/zio/internal/macros/LayerMacroUtils.scala	(revision b9f54f5211389cf2fb807c3774f400e7ed336339)
+++ b/core/shared/src/main/scala-3/zio/internal/macros/LayerMacroUtils.scala	(date 1716157106781)
@@ -1,8 +1,9 @@
 package zio.internal.macros
 
-import zio._
-import scala.quoted._
-import scala.compiletime._
+import zio.*
+
+import scala.quoted.*
+import scala.compiletime.*
 import zio.internal.macros.StringUtils.StringOps
 import zio.internal.ansi.AnsiStringOps
 
@@ -61,7 +62,11 @@
         case '{$lhs: ZLayer[i, e, o]} =>
           rhs match {
             case '{$rhs: ZLayer[i2, e2, o2]} =>
-              '{$lhs.++($rhs)}
+              Expr.summon[Tag[o2]] match {
+                case Some(t) =>
+                  '{$lhs.++($rhs)(using $t)}
+                case _ => throw new Error("OptionalImplicit should be always available")
+              }
           }
       }