False positive of "Unreachable case" warning under macro type match

[soronpo]

Compiler version

Last good release: 3.3.1-RC1-bin-20230301-0df5ae2-NIGHTLY
First bad release: 3.3.1-RC1-bin-20230302-8020c77-NIGHTLY
First bad commit: 6b36cd9

Minimized code

//> using options -Xfatal-warnings
import scala.quoted.*

trait DFValOf[T]

def calcWidth(x: List[Type[Any]])(using Quotes): Unit =
  x.collect { case '[DFValOf[t]] => ???}

Output

7 |  x.collect { case '[DFValOf[t]] => ???}
  |                   ^^^^^^^^^^^^^
  |                   Unreachable case

Expectation

No warning (no error under fatal-warnings).

[soronpo]

Accidental duplication of #18507 (some kind of weird GH glitch)