Refinements containing traits or classes are not properly handled.

[scabug]

scala> class X
defined class X

scala> val y = new X { val y = 3 }
y: X{def y: Int} = $$anon$$1@1f44aa6

scala> val z = new X { type Y = String }
z: X{type Y = String} = $$anon$$1@1b561a2

scala> val z = new X { trait Z }
z: X = $$anon$$1@48ff68

[scabug]

Imported From: https://issues.scala-lang.org/browse/SI-436?orig=1
Reporter: Geoffrey Alan Washburn (washburn)

[scabug]

Geoffrey Alan Washburn (washburn) said:

scala> val w = new X { class Z }
w: X = $$anon$$1@200d0c

[scabug]

Geoffrey Alan Washburn (washburn) said:
Okay, I see that this must occur because the grammar of refinements (3.2.7 SLS) does not include class or trait declarations. Is there a reason for this restriction?

[scabug]

Geoffrey Alan Washburn (washburn) said:
Per the discussion at this week's Scala meeting, this is mostly to avoid having to deal with trait and class overrides. Perhaps revisit once virtual classes are in place, but I do not think our virtual class translation would work here.

[scabug]

@odersky said:
Milestone 2.7.0 deleted