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

Experimental override object results in VerifyError #5676

Closed
scabug opened this issue Apr 16, 2012 · 5 comments
Closed

Experimental override object results in VerifyError #5676

scabug opened this issue Apr 16, 2012 · 5 comments
Assignees
Milestone

Comments

@scabug
Copy link

scabug commented Apr 16, 2012

Positive test
test/files/pos/override-object-yes.scala
compiles but doesn't load:

package case2 {
  class Bar[T]

  class Foo[T] {
    object A extends Bar[T]
  }

  class Baz[S] extends Foo[S] {
    override object A extends Bar[S]
  }
  object Test {
    def main(a: Array[String]) {
      val b = new Baz[Any]
      println(b)
    }
  }
}

results in VerifyError because the object accessor is final:
java.lang.VerifyError: class case2.Baz overrides final method A.()Lcase2/Foo$A$;

@scabug
Copy link
Author

scabug commented Apr 16, 2012

Imported From: https://issues.scala-lang.org/browse/SI-5676?orig=1
Reporter: @som-snytt
Affected Versions: 2.10.0

@scabug
Copy link
Author

scabug commented May 2, 2012

@axel22 said:
Pending test in pending/run

@scabug
Copy link
Author

scabug commented May 15, 2012

@hubertp said:
Fixed in 18efdedfb97de7ca9f6

@scabug scabug closed this as completed May 15, 2012
@scabug
Copy link
Author

scabug commented Aug 17, 2012

@paulp said:
I see I was marked as the reviewer which limits my right to complain, but since I missed it at the time -- there's a big comment in that file explaining why it has to use rawflags to test for finality. This patch removed that test.

@scabug
Copy link
Author

scabug commented Aug 17, 2012

@hubertp said:
I missed it, patch is on the way.

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

No branches or pull requests

2 participants