Adding a prototype of the right-hand side of default-getters.

1 files changed, 7 insertions, 0 deletions

diff --git a/src/dotty/tools/dotc/core/NameOps.scala b/src/dotty/tools/dotc/core/NameOps.scala
index 6eee1f203..cd37c6086 100644
--- a/src/dotty/tools/dotc/core/NameOps.scala
+++ b/src/dotty/tools/dotc/core/NameOps.scala
@@ -222,6 +222,13 @@ object NameOps {
       } else name
     }
 
+    /** If this is a default getter, its index (starting from 0), else -1 */
+    def defaultGetterIndex: Int = {
+      val p = name.indexOfSlice(DEFAULT_GETTER)
+      if (p >= 0) name.drop(p + DEFAULT_GETTER.length).toString.toInt - 1
+      else -1
+    }
+
     /** The name of a super-accessor */
     def superAccessorName: TermName =
       SUPER_PREFIX ++ name