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

early definitions do not honor final semantics #6595

Closed
scabug opened this issue Oct 30, 2012 · 3 comments
Closed

early definitions do not honor final semantics #6595

scabug opened this issue Oct 30, 2012 · 3 comments
Assignees
Milestone

Comments

@scabug
Copy link

scabug commented Oct 30, 2012

b1 is typed as String("def"), b0 is typed as String.

class Foo extends {
  final val b0 = "abc"
} with AnyRef {
  final val b1 = "def"
}
package <empty> {
  class Foo extends scala.AnyRef {
    final private[this] val b0: String = _;
    final <stable> <accessor> def b0: String = Foo.this.b0;
    def <init>(): Foo = {
      val b0: String = "abc";
      Foo.super.<init>();
      ()
    };
    final private[this] val b1: String("def") = "def";
    final <stable> <accessor> def b1: String = "def"
  }
}
@scabug
Copy link
Author

scabug commented Oct 30, 2012

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

@scabug
Copy link
Author

scabug commented Dec 10, 2012

@paulp said:
scala/scala#1749

@scabug
Copy link
Author

scabug commented Jan 22, 2013

@adriaanm said:
reopening for 2.10.1-RC1 backport

@scabug scabug closed this as completed Feb 4, 2013
@scabug scabug added this to the 2.10.1 milestone Apr 7, 2017
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