Start ErasedFunctionN and ErasedImplicitFunctionN at N=1

Author: nicolasstucki

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

@@ -894,26 +894,23 @@ class Definitions {
   def isBottomType(tp: Type) =
     tp.derivesFrom(NothingClass) || tp.derivesFrom(NullClass)
 
-  /** Is a function class, i.e. on of
-   *   - FunctionN
-   *   - ImplicitFunctionN
-   *   - ErasedFunctionN
-   *   - ErasedImplicitFunctionN
-   *  for N >= 0
+  /** Is a function class.
+   *   - FunctionN for N >= 0
+   *   - ImplicitFunctionN for N >= 0
+   *   - ErasedFunctionN for N > 0
+   *   - ErasedImplicitFunctionN for N > 0
    */
   def isFunctionClass(cls: Symbol) = scalaClassName(cls).isFunction
 
   /** Is an implicit function class.
-   *   - ImplicitFunctionN
-   *   - ErasedImplicitFunctionN
-   *  for N >= 0
+   *   - ImplicitFunctionN for N >= 0
+   *   - ErasedImplicitFunctionN for N > 0
    */
   def isImplicitFunctionClass(cls: Symbol) = scalaClassName(cls).isImplicitFunction
 
   /** Is an erased function class.
-   *   - ErasedFunctionN
-   *   - ErasedImplicitFunctionN
-   *  for N >= 0
+   *   - ErasedFunctionN for N > 0
+   *   - ErasedImplicitFunctionN for N > 0
    */
   def isErasedFunctionClass(cls: Symbol) = scalaClassName(cls).isErasedFunction
 

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

@@ -169,33 +169,36 @@ object NameOps {
 
     def functionArity: Int =
       functionArityFor(str.Function) max
-      functionArityFor(str.ImplicitFunction) max
-      functionArityFor(str.ErasedFunction) max
-      functionArityFor(str.ErasedImplicitFunction)
+      functionArityFor(str.ImplicitFunction) max {
+        val n =
+          functionArityFor(str.ErasedFunction) max
+          functionArityFor(str.ErasedImplicitFunction)
+        if (n == 0) -1 else n
+      }
 
-    /** Is a function name, i.e one of FunctionN, ImplicitFunctionN, ErasedFunctionN, ErasedImplicitFunctionN for N >= 0
+    /** Is a function name, i.e one of FunctionN, ImplicitFunctionN for N >= 0 or ErasedFunctionN, ErasedImplicitFunctionN for N > 0
      */
     def isFunction: Boolean = functionArity >= 0
 
-    /** Is an implicit function name, i.e one of ImplicitFunctionN, ErasedImplicitFunctionN for N >= 0
+    /** Is an implicit function name, i.e one of ImplicitFunctionN for N >= 0 or ErasedImplicitFunctionN for N > 0
      */
     def isImplicitFunction: Boolean = {
       functionArityFor(str.ImplicitFunction) >= 0 ||
-      functionArityFor(str.ErasedImplicitFunction) >= 0
+      functionArityFor(str.ErasedImplicitFunction) > 0
     }
 
-    /** Is an erased function name, i.e. one of ErasedFunctionN, ErasedImplicitFunctionN for N >= 0
+    /** Is an erased function name, i.e. one of ErasedFunctionN, ErasedImplicitFunctionN for N > 0
       */
     def isErasedFunction: Boolean = {
-      functionArityFor(str.ErasedFunction) >= 0 ||
-      functionArityFor(str.ErasedImplicitFunction) >= 0
+      functionArityFor(str.ErasedFunction) > 0 ||
+      functionArityFor(str.ErasedImplicitFunction) > 0
     }
 
     /** Is a synthetic function name, i.e. one of
      *    - FunctionN for N > 22
      *    - ImplicitFunctionN for N >= 0
-     *    - ErasedFunctionN for N >= 0
-     *    - ErasedImplicitFunctionN for N >= 0
+     *    - ErasedFunctionN for N > 0
+     *    - ErasedImplicitFunctionN for N > 0
      */
     def isSyntheticFunction: Boolean = {
       functionArityFor(str.Function) > MaxImplementedFunctionArity ||