Drop unused HigherKinded flag

Re-use the slot for `TypeMethod` (currently neither used nor set)

Author: odersky

compiler/src/dotty/tools/dotc/core/Flags.scala

@@ -223,7 +223,7 @@ object Flags {
 
   /** A method symbol. */
   final val Method = termFlag(7, "<method>")
-  final val HigherKinded = typeFlag(7, "<higher kinded>")
+  final val TypeMethod = typeFlag(7, "<type method>")
 
   /** A (term or type) parameter to a class or method */
   final val Param     = commonFlag(8, "<param>")
@@ -456,7 +456,7 @@ object Flags {
   /** Flags that are not (re)set when completing the denotation */
   final val FromStartFlags =
     Module | Package | Deferred | Method.toCommonFlags |
-    HigherKinded.toCommonFlags | Param | ParamAccessor.toCommonFlags |
+    Param | ParamAccessor.toCommonFlags |
     Scala2ExistentialCommon | Mutable.toCommonFlags | Touched | JavaStatic |
     CovariantOrOuter | ContravariantOrLabel | CaseAccessor.toCommonFlags |
     NonMember | ImplicitCommon | Permanent | Synthetic |

compiler/src/dotty/tools/dotc/typer/Namer.scala

@@ -342,10 +342,6 @@ class Namer { typer: Typer =>
         val isDeferred = lacksDefinition(tree)
         val deferred = if (isDeferred) Deferred else EmptyFlags
         val method = if (tree.isInstanceOf[DefDef]) Method else EmptyFlags
-        val higherKinded = tree match {
-          case TypeDef(_, LambdaTypeTree(_, _)) if isDeferred => HigherKinded
-          case _ => EmptyFlags
-        }
 
         // to complete a constructor, move one context further out -- this
         // is the context enclosing the class. Note that the context in which a
@@ -363,7 +359,7 @@ class Namer { typer: Typer =>
           case _ => new Completer(tree)(cctx)
         }
         val info = adjustIfModule(completer, tree)
-        createOrRefine[Symbol](tree, name, flags | deferred | method | higherKinded,
+        createOrRefine[Symbol](tree, name, flags | deferred | method,
           _ => info,
           (fs, _, pwithin) => ctx.newSymbol(ctx.owner, name, fs, info, pwithin, tree.namePos))
       case tree: Import =>