Summon does not work for derived TypeClass if global given is used

[hombre]

Compiler version

3.0.0-RC1

Minimized code

import scala.compiletime.{constValue, erasedValue, summonInline}
import scala.deriving.Mirror

trait Printer[T]:
  def format: String

given Printer[String] with
  def format: String = "String"

inline given[T](using mirror: Mirror.ProductOf[T]): Printer[T] = Printer.derived[T]

object Printer:
  inline def apply[T](using printer: Printer[T]): Printer[T] = printer

  inline def derived[T](using mirror: Mirror.ProductOf[T]): Printer[T] =
    val params = summonPrinters[mirror.MirroredElemTypes]
    new Printer[T] :
      def format: String = params.map(p => p.format).mkString(",")

inline def summonPrinters[Types <: Tuple]: Seq[Printer[?]] = inline erasedValue[Types] match
  case _: EmptyTuple => Seq.empty
  case _: (v *: vs) => summonInline[Printer[v]] +: summonPrinters[vs]

case class Simple(name: String)

object Main:
  def main(args: Array[String]): Unit =
    assert(Printer[String].format == "String")
    assert(Printer[Simple].format == "String")

Output

error] -- Error: /<redacted>/Test.scala:35:26 
[error] 35  |    assert(Printer[Simple].format == "String")
[error]    |                          ^
[error]    |              cannot reduce summonFrom with
[error]    |               patterns :  case t @ _:Printer[String]
[error] one error found
[error] one error found

Expectation

Code can be compiled. As it does for version 3.0.0-M3

[deusaquilus]

@nicolasstucki Wait... my previous comment was wrong.
I think #11557 also fixes this issue. I just tried this code with 3.0.0-RC2-bin-20210304-5fa55b1-NIGHTLY and it worked!