aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/core/TypeApplications.scala
diff options
context:
space:
mode:
Diffstat (limited to 'src/dotty/tools/dotc/core/TypeApplications.scala')
-rw-r--r--src/dotty/tools/dotc/core/TypeApplications.scala17
1 files changed, 0 insertions, 17 deletions
diff --git a/src/dotty/tools/dotc/core/TypeApplications.scala b/src/dotty/tools/dotc/core/TypeApplications.scala
index b61f39ed7..9cd635cd9 100644
--- a/src/dotty/tools/dotc/core/TypeApplications.scala
+++ b/src/dotty/tools/dotc/core/TypeApplications.scala
@@ -298,23 +298,6 @@ class TypeApplications(val self: Type) extends AnyVal {
def elemType(implicit ctx: Context): Type =
firstBaseArgInfo(defn.SeqClass) orElse firstBaseArgInfo(defn.ArrayClass)
- /** If this type is of the normalized form Array[...[Array[T]...]
- * return the number of Array wrappers and T.
- * Otherwise return 0 and the type itself
- */
- final def splitArray(implicit ctx: Context): (Int, Type) = {
- def recur(n: Int, tp: Type): (Int, Type) = tp.stripTypeVar match {
- case RefinedType(tycon, _) if tycon isRef defn.ArrayClass =>
- tp.argInfos match {
- case arg :: Nil => recur(n + 1, arg)
- case _ => (n, tp)
- }
- case _ =>
- (n, tp)
- }
- recur(0, self)
- }
-
/** Given a type alias
*
* type T[boundSyms] = p.C[targs]