MatchError on invalid macro expression

[sir-wabbit]

Minimized code

// ME-07b22d72e723607d8f0dfef3f4c8fb8076387a7b
val a = macro ???

Output (click arrow to expand)

exception occurred while typechecking test.scala
exception occurred while compiling test.scala
scala.MatchError: MacroTree(Ident(???)) (of class dotty.tools.dotc.ast.untpd$MacroTree) while compiling test.scala
Exception in thread "main" scala.MatchError: MacroTree(Ident(???)) (of class dotty.tools.dotc.ast.untpd$MacroTree)
	at dotty.tools.dotc.ast.desugar$.apply(Desugar.scala:1690)
	at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2421)
	at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2436)
	at dotty.tools.dotc.typer.Typer.op$1(Typer.scala:2502)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2511)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2514)
	at dotty.tools.dotc.typer.Namer.typedAheadExpr$$anonfun$1(Namer.scala:1361)
	at dotty.tools.dotc.typer.Namer.typedAhead(Namer.scala:1351)
	at dotty.tools.dotc.typer.Namer.typedAheadExpr(Namer.scala:1361)
	at dotty.tools.dotc.typer.Namer.rhsType$2(Namer.scala:1493)
	at dotty.tools.dotc.typer.Namer.cookedRhsType$1(Namer.scala:1504)
	at dotty.tools.dotc.typer.Namer.lhsType$1(Namer.scala:1505)
	at dotty.tools.dotc.typer.Namer.inferredType$1(Namer.scala:1516)
	at dotty.tools.dotc.typer.Namer.valOrDefDefSig(Namer.scala:1524)
	at dotty.tools.dotc.typer.Namer$Completer.typeSig(Namer.scala:819)
	at dotty.tools.dotc.typer.Namer$Completer.completeInCreationContext(Namer.scala:940)
	at dotty.tools.dotc.typer.Namer$Completer.complete(Namer.scala:851)
	at dotty.tools.dotc.core.SymDenotations$SymDenotation.completeFrom(SymDenotations.scala:259)
	at dotty.tools.dotc.core.Denotations$Denotation.completeInfo$1(Denotations.scala:188)
	at dotty.tools.dotc.core.Denotations$Denotation.info(Denotations.scala:190)
	at dotty.tools.dotc.core.SymDenotations$SymDenotation.ensureCompleted(SymDenotations.scala:445)
	at dotty.tools.dotc.typer.Typer.retrieveSym(Typer.scala:2318)