New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Typechecking extractors is not idempotent #5465
Comments
Imported From: https://issues.scala-lang.org/browse/SI-5465?orig=1 |
@xeno-by said: |
@retronym said: https://github.com/retronym/scala/tree/ticket/5465 It solves Eugene Y.'s reported problem with extractors in macros, but does not yet fix run/idempotency-extractors.scala (with the toolbox compiler). |
consolidating under #5464 |
#8825 was in this space and was fixed by scala/scala#6356 #12577 is also in this space |
Pattern matching that involves extractors cannot be typechecked twice. The first typecheck distorts its structure, introducing UnApply node that wraps a synthetic SELECTOR_DUMMY ident that doesn't have a definition. If one performs resetAllAttrs, the resulting tree can no longer be typechecked.
The text was updated successfully, but these errors were encountered: