Revised restrictions for value classes and unversal traits

and brought compiler in line with them. One thing we can accept IMO are nested
classes (nested objects are still a problem). In fact, it makes no sense to
exclude nested classes from value classes but not from universal traits. A class
nested in universal trait will becomes a class nested in a value class by
inheritance. Note that the reflection library already contains a universal trait
with a nested class (IndexedSeqLike), so we should accept them if we can.

1 files changed, 0 insertions, 7 deletions

diff --git a/src/compiler/scala/tools/nsc/ast/TreeInfo.scala b/src/compiler/scala/tools/nsc/ast/TreeInfo.scala
index 9e46155d14..3e1d606877 100644
--- a/src/compiler/scala/tools/nsc/ast/TreeInfo.scala
+++ b/src/compiler/scala/tools/nsc/ast/TreeInfo.scala
@@ -45,11 +45,4 @@ abstract class TreeInfo extends scala.reflect.internal.TreeInfo {
 
   def isInterface(mods: HasFlags, body: List[Tree]) =
     mods.isTrait && (body forall isInterfaceMember)
-
-  def isAllowedInUniversalTrait(stat: Tree): Boolean = stat match {
-    case _: ValDef => false
-    case Import(_, _) | EmptyTree => true
-    case _: DefTree => true
-    case _ => false
-  }
 }