Visibility problem on self type reference.

[scabug]

The following code compiles in 2.8.1 but not in 2.9.0.

class A(var x: Int)
class B(x: Int) extends A(x)
trait C { self: B => 
  def foo = x 
  def bar = self.x 
  def baz = {
    val b: B = self
    b.x
  }
}

object Toto extends App {
  val x = new B(10) with C
  println(x.foo) // 10
  println(x.bar) // 10
  println(x.baz) // 10
  println(x.x) // 10
}

=== Expected ===

No errors

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

test.scala:4: error: value x in class B cannot be accessed in C with B
  def foo = x 
            ^
test.scala:5: error: value x in class B cannot be accessed in C with B
  def bar = self.x 

=== Environment ===

• Scala: 2.9.0.final
• Java: java version "1.6.0_24" Java(TM) SE Runtime Environment (build 1.6.0_24-b07-334-10M3326) Java HotSpot(TM) 64-Bit Server VM (build 19.1-b02-334, mixed mode)
• Operating system: OSX

[scabug]

Imported From: https://issues.scala-lang.org/browse/SI-4606?orig=1
Reporter: thewolt

[scabug]

@paulp said:
#3194. (See the comments.)