Fix dependent6.scala

Author: OlivierBlanvillain

compiler/src/dotty/tools/dotc/ast/tpd.scala

@@ -46,10 +46,8 @@ object tpd extends Trees.Instance[Type] with TypedTreeInfo {
     ta.assignType(untpd.Apply(fn, args), fn, args)
   }
 
-  def TypeApply(fn: Tree, args: List[Tree])(implicit ctx: Context): TypeApply = {
-    assert(fn.isInstanceOf[RefTree] || fn.isInstanceOf[GenericApply[_]])
+  def TypeApply(fn: Tree, args: List[Tree])(implicit ctx: Context): TypeApply =
     ta.assignType(untpd.TypeApply(fn, args), fn, args)
-  }
 
   def Literal(const: Constant)(implicit ctx: Context): Literal =
     ta.assignType(untpd.Literal(const))

tests/pos/dependent6.scala

@@ -3,7 +3,6 @@ object Foo {
   dependent case object Nil extends List
   dependent case class Cons(head: Int, tail: List) extends List
 
-
   dependent def cons1 =
     Cons(1, Cons(2, Nil)) match {
       case Cons(x, _) => x
@@ -40,11 +39,10 @@ object Foo {
   cons4: 2
   cons5: {Nil}
 
-
   case class Some(x: Some)
 
   dependent def bla =
     (??? : Some) match {
       case Some(Some(x)) => x
     }
-}
+}