Macro expansion throws a RuntimeException during the tail call elimination phase

[scabug]

Using quasiquotes it is possible to construct values of the form Some(alias @ x), e.g., by trying to form a tree for a value based on a pattern.

When compiling a program which uses such a macro the compiler crashes due to an uncaught exception: java.lang.RuntimeException: We should've never gotten inside a pattern.

If the code snippet above is valid Scala code, this error shouldn't happen. If the code is not valid, the programmer should not be able to construct it using a quasiquote.

[scabug]

Imported From: https://issues.scala-lang.org/browse/SI-7829?orig=1
Reporter: Martin Zuber (mzuber)
Affected Versions: 2.10.2
Attachments:

• trace.txt (created on Sep 10, 2013 1:34:41 PM UTC, 163400 bytes)

[SethTisue]

closing all quasiquotes tickets; see #10755