Fix compiler and tests to compile under new rules

Author: odersky

compiler/src/dotty/tools/backend/jvm/BCodeAsmCommon.scala

@@ -7,7 +7,7 @@ package jvm
  * the compiler cake (Global).
  */
 final class BCodeAsmCommon[I <: BackendInterface](val interface: I) {
-import interface._
+  import interface._
 
   /**
    * True if `classSym` is an anonymous class or a local class. I.e., false if `classSym` is a

tests/neg/exports.check

@@ -31,19 +31,19 @@
    |                    final def status: => List[String] in class Copier at line 23 and
    |                    final def status: => List[String] in class Copier at line 24
    |                    have the same type after erasure.
--- Error: tests/neg/exports.scala:35:15 --------------------------------------------------------------------------------
-35 |  export this.{concat => ++}   // error: no eligible member
-   |               ^^^^^^
-   |               no eligible member concat at this
-   |               this.concat cannot be exported because it is already a member of trait IterableOps
--- Error: tests/neg/exports.scala:41:13 --------------------------------------------------------------------------------
-41 |  export foo.foo // error: no eligible member
-   |             ^^^
-   |             no eligible member foo at this.foo
-   |             this.foo.foo cannot be exported because it is already a member of class Foo
--- [E120] Duplicate Symbol Error: tests/neg/exports.scala:46:13 --------------------------------------------------------
-46 |  export bar._  // error: double definition
-   |             ^
-   |             Double definition:
-   |             val bar: Bar in class Baz at line 45 and
-   |             final def bar: => => Bar(Baz.this.bar.baz.bar)(Baz.this.bar.bar) in class Baz at line 46
+-- Error: tests/neg/exports.scala:35:17 --------------------------------------------------------------------------------
+35 |    export this.{concat => ++}   // error: no eligible member
+   |                 ^^^^^^
+   |                 no eligible member concat at this
+   |                 this.concat cannot be exported because it is already a member of trait IterableOps
+-- Error: tests/neg/exports.scala:41:15 --------------------------------------------------------------------------------
+41 |    export foo.foo // error: no eligible member
+   |               ^^^
+   |               no eligible member foo at this.foo
+   |               this.foo.foo cannot be exported because it is already a member of class Foo
+-- [E120] Duplicate Symbol Error: tests/neg/exports.scala:46:15 --------------------------------------------------------
+46 |    export bar._  // error: double definition
+   |               ^
+   |               Double definition:
+   |               val bar: Bar in class Baz at line 45 and
+   |               final def bar: => => Bar(Baz.this.bar.baz.bar)(Baz.this.bar.bar) in class Baz at line 46

tests/neg/exports.scala

@@ -28,24 +28,24 @@
     def status: List[String] = printUnit.status ++ scanUnit.status
   }
 
-trait IterableOps[+A, +CC[_], +C] {
+  trait IterableOps[+A, +CC[_], +C] {
 
-  def concat[B >: A](other: List[B]): CC[B]
+    def concat[B >: A](other: List[B]): CC[B]
 
-  export this.{concat => ++}   // error: no eligible member
+    export this.{concat => ++}   // error: no eligible member
 
-}
+  }
 
-class Foo {
-  val foo : Foo = new Foo
-  export foo.foo // error: no eligible member
-}
+  class Foo {
+    val foo : Foo = new Foo
+    export foo.foo // error: no eligible member
+  }
 
-class Baz {
-  val bar: Bar = new Bar
-  export bar._  // error: double definition
-}
-class Bar {
-  val baz: Baz = new Baz
-  export baz._
-}
+  class Baz {
+    val bar: Bar = new Bar
+    export bar._  // error: double definition
+  }
+  class Bar {
+    val baz: Baz = new Baz
+    export baz._
+  }

tests/neg/parser-stability-12.scala

@@ -1,4 +1,4 @@
 trait x0[]  // error
      trait x1[x1 <:x0]
-     extends x1[
+     extends x1[  // error
 // error

tests/neg/parser-stability-19.scala

@@ -1,5 +1,5 @@
 object x0 {
-  case class x0[]()                     // error // error
-    def x0( ) ]                       // error // error
+  case class x0[]()                     // error
+    def x0( ) ]                       // error
     def x0 ( x0:x0 ):x0.type = x1 x0  // error // error
 // error

tests/pos/i6146.scala

@@ -1,5 +1,5 @@
 trait BS[T, S <: BS[T, S]]
- trait IS extends BS[Int, IS]
+trait IS extends BS[Int, IS]
 
 sealed trait BSElem[T, S <: BS[_, S]]
   // old error: Type argument S does not conform to upper bound BS[Any, LazyRef(S)]