Fix #4247: Handle Array self types

Author: nicolasstucki

compiler/src/dotty/tools/dotc/typer/TypeAssigner.scala

@@ -315,8 +315,12 @@ trait TypeAssigner {
   def assignType(tree: untpd.Select, qual: Tree)(implicit ctx: Context): Select = {
     def qualType = qual.tpe.widen
     def arrayElemType = {
-      val JavaArrayType(elemtp) = qualType
-      elemtp
+      qualType match {
+        case JavaArrayType(elemtp) => elemtp
+        case _ =>
+          ctx.error("Expected Array but was " + qualType.show, tree.sourcePos)
+          defn.NothingType
+      }
     }
     val p = nme.primitive
     val tp = tree.name match {

tests/neg/i4247.scala

@@ -0,0 +1,3 @@
+class Foo[U] { self : Array[U] & Nothing =>
+  val s = self(0) // error
+}

tests/neg/i4247b.scala

@@ -0,0 +1,3 @@
+class Foo[U] { self : Array[U] =>
+  self(0) // error
+}