Skip to content
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

Symbols can't be used in traits with a particular self type #4601

Closed
scabug opened this issue May 17, 2011 · 3 comments
Closed

Symbols can't be used in traits with a particular self type #4601

scabug opened this issue May 17, 2011 · 3 comments
Assignees

Comments

@scabug
Copy link

scabug commented May 17, 2011

=== What steps will reproduce the problem (please be specific and use wikiformatting)? ===

class A

trait B {
  self: A =>

  def test {
    println('blubber)
  }
}

object Test extends A with B {
  def main(args: Array[String]) {
    test
  }
}

=== What is the expected behavior? ===

No runtime verifier crash.

=== What do you see instead? ===

java.lang.NoSuchFieldError: symbol$$1
	at B$$class.test(Test.scala:13)
	at Test$$.test(Test.scala:17)
	at Test$$.main(Test.scala:19)
	at Test.main(Test.scala)

=== Additional information ===
This seems to be the same bug as #4560 and I'm filing this for reference since it seems to be fixed with the fix for #4560. The same rules to invoke this bug in 2.9.0 apply here: one self-type which is a trait works in 2.9.0, a self-type which is a class or multiple self-types is still broken.

=== What versions of the following are you using? ===

  • Scala: 2.9.0
@scabug
Copy link
Author

scabug commented May 17, 2011

Imported From: https://issues.scala-lang.org/browse/SI-4601?orig=1
Reporter: @jrudolph

@scabug scabug closed this as completed Jun 21, 2011
@scabug
Copy link
Author

scabug commented Jun 21, 2011

Commit Message Bot (anonymous) said:
(extempore in r25120) Test case closes #4601, no review.

@scabug
Copy link
Author

scabug commented Mar 19, 2012

@jrudolph said:
If you happen to trip over this one: the wider issue is still not fixed if a self-type like in #4560 is used.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants