Fix test and error reporting

Author: odersky

compiler/src/dotty/tools/dotc/parsing/Parsers.scala

@@ -2323,7 +2323,7 @@ object Parsers {
           val templ = templateClauseOpt(constr, bodyRequired = true)
           def checkDef(tree: Tree) = tree match {
             case _: DefDef | EmptyValDef => // ok
-            case _ => syntaxError("`def` expected", tree.pos.startPos)
+            case _ => syntaxError("`def` expected", tree.pos.startPos.orElse(templ.pos.startPos))
           }
           checkDef(templ.self)
           templ.body.foreach(checkDef)

tests/neg/extensions.scala

@@ -28,7 +28,7 @@ object extensions {
     def area = this.radius * this.radius * math.Pi
   }
 
-  extend Circle2 extends HasArea {} // error: `implements` or `{` expected
+  extend Circle2 extends HasArea {} // error: `implements` or `{` expected // error: `def` expected
 
   extend Circle implements HasAreaClass {
     def area = this.radius * this.radius * math.Pi
@@ -69,31 +69,8 @@ object extensions {
   extend (type T) {
     def ~[U](that: U): (T, U) = (this, that)
   }
-
-// Conditional generic extensions
-
-  trait HasEql[T] {
-    def === (that: T): Boolean
-  }
-
-  extend (type T: Eql) implements HasEql[T] {
-    def === (that: T): Boolean = implicitly[Eql[T]].eql(this, that)
-  }
-
-  extend Rectangle[type T: Eql] implements HasEql[Rectangle[T]] {
-    def === (that: Rectangle[T]) =
-      this.x === that.x &&
-      this.y === that.y &&
-      this.width == that.width &&
-      this.height == that.height
-  }
-
-  extend List[List[type U]] {
-    def flattened: List[U] = (this :\ (Nil: List[U]))(_ ++ _)
-  }
 }
 
-
 object extensions1 {
   extend List[List[type T]] {
     def flattened: List[T] = (this :\ (Nil: List[T]))(_ ++ _)