pattern selector should be an instance of Matchable when matching on Quotes Reflect API

[goshacodes]

Compiler version

3.4.3 + -source:future

Minimized example

main.scala

Example.matchableExample

example.scala

import scala.quoted.*

object Example:
  inline def matchableExample: Unit = ${ matchableExampleMacro }

  def matchableExampleMacro(using quotes: Quotes): Expr[Unit] = {
    import quotes.reflect.*
    val tpe = TypeRepr.of[Int]
    tpe match
      case OrType(left, right) =>
        println(s"OrType: $left, $right")
      case other =>
        println(s"other: $other")
    '{}
  }

Output Error/Warning message

[warn] 10 |      case OrType(left, right) =>
[warn]    |           ^^^^^^^^^^^^^^^^^^^
[warn]    |           pattern selector should be an instance of Matchable,,
[warn]    |           but it has unmatchable type quotes.reflect.TypeRepr instead

Why this Error/Warning was not helpful

As I understood there should be no warning at all.

Suggested improvement

Make Quotes API subtype of Matchable

[jchyb]

Fixed in 3.6.3 (05966dc), but I see it was not backported to 3.3.5

[goshacodes]

Thank you, feel free to close

[Gedochao]

The backport was rejected, it seems we can't get it fixed in the 3.3 LTS series.
Closing.