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
crashy interplay between inlining, dead code elimination #8315
Comments
Imported From: https://issues.scala-lang.org/browse/SI-8315?orig=1 |
@magarciaEPFL said: |
@retronym said:
|
@retronym said:
I believe that the error message itself might be misleading; that error is issued after determining that Object doesn't contain the field. def checkField(obj: TypeKind, field: Symbol): Unit = obj match {
case REFERENCE(sym) =>
if (sym.info.member(field.name) == NoSymbol)
icodeError(" " + field + " is not defined in class " + clasz)
case _ =>
icodeError(" expected reference type, but " + obj + " found")
} Object is the type (unconditionally) attributed to // store the '$this' into the special local
val inlinedThis = newLocal("$inlThis", REFERENCE(ObjectClass)) |
@magarciaEPFL said: |
@retronym said: https://github.com/retronym/scala/compare/ticket;8315?expand=1 |
@adriaanm said: |
The text was updated successfully, but these errors were encountered: