Quotes sometimes needs a name in Scala 3 macros

[markehammons]

Compiler version

3.1.0

Minimized code

note: I'll add minimized code later, this bug seems hard to trigger

as you see, there's an error highlighted in this code.

Giving Quotes a name resolves the error.

Output

core/src/io/gitlab/mhammons/slinc/nativepieces.scala:362:16
[E]      Found:    (x$1 : (String, quoted.Type[? <: AnyKind]))
[E]      Required: quoted.Quotes
[E]      L362:                '{

Expectation

I shouldn't need a name for Quotes here.

[markehammons]

Sorry for the wait on this, been busy as a bee on my own projects. So far, the common trigger for this bug seems to be using quotes that use a matched type inside of a partial function.

I'll see if I can quickly put together a minimal example tonight.

[markehammons]

https://github.com/markehammons/macro-bug-13905

Here's a minimized version of the bug. The issue appears when doing a map-match.

  //naming Quotes resolves the compilation error
  def testImpl(using Quotes) =
    import quotes.reflect.*
    List(TypeRepr.of[Int].asType)
      .map { case '[r] =>
        '{ ${ Expr(Type.show[r]) } }
      }

  def testImpl2(using q: Quotes) =
    import quotes.reflect.*
    List(TypeRepr.of[Int].asType)
      .map { case '[r] =>
        '{ ${ Expr(Type.show[r]) } }
      }

[bishabosha]

^ error with the anonymous using parameter:

-- Error:
5 |        '{ ${ Expr(Type.show[r]) } }
  |        ^
  |Found:    quoted.Type[?1.CAP]
  |Required: quoted.Quotes
  |
  |where:    ?1 is an unknown value of type scala.runtime.TypeBox[Nothing, AnyKind]

[smarter]

Fixed in 3.3.1-RC1 and up as reported in #18059