Merge pull request #5660 from eklavya/issue-5640

Fixes #5640 Typer crash on 0 arity tuple

Author: odersky

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

@@ -920,8 +920,9 @@ object desugar {
     assert(arity <= Definitions.MaxTupleArity)
     def tupleTypeRef = defn.TupleType(arity)
     if (arity == 1) ts.head
+    else if (arity == 0)
+      if (ctx.mode is Mode.Type) TypeTree(defn.UnitType) else unitLiteral
     else if (ctx.mode is Mode.Type) AppliedTypeTree(ref(tupleTypeRef), ts)
-    else if (arity == 0) unitLiteral
     else Apply(ref(tupleTypeRef.classSymbol.companionModule.termRef), ts)
   }
 

tests/neg/i5640.scala

@@ -0,0 +1,3 @@
+object test {
+  val foo = (()) => () // error: not a legal formal parameter
+}