Zlayer issue - Ambiguous layer with opaque type

[regis-leray]

zio version 2.0.22
scala version 3.3.3

object Blah{

  case class MyService()

  opaque type A = MyService

  opaque type B = MyService

  def main(args: Array[String]): Unit = {
    val instanceA: A = MyService()
    val instanceB: B = MyService()
    
    val _ = ZLayer.make[Scope](
      ZLayer.succeed(instanceA),
      ZLayer.succeed(instanceB)
    )

  }
}

im getting the following error

──── ZLAYER ERROR ────────────────────────────────────────────────────

 Ambiguous layers! I cannot decide which to use.
 You have provided more than one layer for the following type:

   Blah.MyService is provided by:
      1. ZLayer.succeed(instanceA)
      2. ZLayer.succeed(instanceB)

──────────────────────────────────────────────────────────────────────


    val _ = ZLayer.make[Scope](

[regis-leray]

Im going to close the ticket since the scala compiler see A =:= B as equivalent type. Need to use concrete case class or zio prelude subtype :)

[desavitsky]

A =:= B

Isn't it only in the scope in which opaque types defined? Outside of this scope they should be different types for compiler. And the case in the issue I think can also be implemented if opaque types definition was moved outside of opaque types definition

It seems so:
https://scastie.scala-lang.org/EXwb7wUIQHm3dJn0hIO1BQ