Dropping type parameters from typed TypeDefs.

Typed TypeDefs no longer carry tparams. Untyped ones still do, but there is a special PolyTypeDef node for them in untpd.

Also, fixed flatten and DeSugarTest to deal with new tree desugarings which are not idempotent (e.g. desugar.classDef, or desugar.valDef).

1 files changed, 4 insertions, 4 deletions

diff --git a/src/dotty/tools/dotc/ast/TreeInfo.scala b/src/dotty/tools/dotc/ast/TreeInfo.scala
index cfb175e0b..11d50fc1b 100644
--- a/src/dotty/tools/dotc/ast/TreeInfo.scala
+++ b/src/dotty/tools/dotc/ast/TreeInfo.scala
@@ -17,7 +17,7 @@ abstract class TreeInfo {
   def isDeclarationOrTypeDef(tree: Tree[_ >: Untyped]): Boolean = tree match {
     case DefDef(_, _, _, _, _, EmptyTree)
       | ValDef(_, _, _, EmptyTree)
-      | TypeDef(_, _, _, _) => true
+      | TypeDef(_, _, _) => true
     case _ => false
   }
 
@@ -26,7 +26,7 @@ abstract class TreeInfo {
   def isInterfaceMember(tree: Tree[_ >: Untyped]): Boolean = tree match {
     case EmptyTree => true
     case Import(_, _) => true
-    case TypeDef(_, _, _, _) => true
+    case TypeDef(_, _, _) => true
     case DefDef(mods, _, _, _, _, __) => mods.flags is Deferred
     case ValDef(mods, _, _, _) => mods is Deferred
     case _ => false
@@ -38,7 +38,7 @@ abstract class TreeInfo {
   def isIdempotentDef(tree: Tree[Type])(implicit ctx: Context): Boolean = tree match {
     case EmptyTree
        | ClassDef(_, _, _)
-       | TypeDef(_, _, _, _)
+       | TypeDef(_, _, _)
        | Import(_, _)
        | DefDef(_, _, _, _, _, _) =>
       true
@@ -232,7 +232,7 @@ abstract class TreeInfo {
   }
 
   def isEarlyTypeDef(tree: Tree[_ >: Untyped]) = tree match {
-    case TypeDef(mods, _, _, _) => mods is Scala2PreSuper
+    case TypeDef(mods, _, _) => mods is Scala2PreSuper
     case _ => false
   }