Type bound is not inferred inside quotation (type variable escapes?)

[DmytroMitin]

Compiler version

3.1.3
3.2.2-RC1-bin-20220925-562ab85-NIGHTLY

Minimized code

import scala.quoted.*

object Macro {
  inline def fooMacro[A, B]: Unit = ${fooMacroImpl[A, B]}

  def fooMacroImpl[A: Type, B: Type](using Quotes): Expr[Unit] = {
    import quotes.reflect.*

    val res = '{tag[A, B]} match {
      case '{
          type a
          type b <: `a`
          tag[`a`, `b`]
        } => '{foo[a, b]}
    }

    println(res.show)

    res
  }

  def tag[A, B] = ???

  def foo[A, B <: A]: Unit = ???
}

Output

Type argument b does not conform to upper bound a
        } => '{foo[a, b]}

Expectation

The macro should typecheck.

Comment

If I replace => '{foo[a, b]} with => '{foo[a, b & a]} then Macro.fooMacro[AnyVal, Int] typechecks but prints

Macro.foo[scala.AnyVal | b, scala.&[scala.Int, scala.AnyVal | b]]

instead of

Macro.foo[scala.AnyVal, scala.&[scala.Int, scala.AnyVal]]

Can be similar to

#13527

#14708

Motivated by https://stackoverflow.com/questions/70311751/what-scala-3-syntax-can-match-on-a-type-and-its-type-parameters-in-the-context-o