Merge pull request #1666 from dotty-staging/fix-#1653

Fix #1653: Check "no inherit from final" earlier.

3 files changed, 12 insertions, 2 deletions

diff --git a/tests/neg/i1653.scala b/tests/neg/i1653.scala
new file mode 100644
index 000000000..ab5369e5f
--- /dev/null
+++ b/tests/neg/i1653.scala
@@ -0,0 +1,3 @@
+trait Foo {
+  def foo() = new Unit with Foo  // error
+}
diff --git a/tests/neg/i705-inner-value-class.scala b/tests/neg/i705-inner-value-class.scala
index 82ac962b5..ecef8c5fe 100644
--- a/tests/neg/i705-inner-value-class.scala
+++ b/tests/neg/i705-inner-value-class.scala
@@ -15,8 +15,6 @@ object Test {
     class C(val a: Int) extends AnyVal // error: value class may not be a local class
     new C(1)
   }
-  class B1(val b: Int) extends B(b) // error: cannot extend final class B
-//  class D extends B( { class E(val a: Int) extends AnyVal; new E(1) } )
 }
 
 
diff --git a/tests/neg/i705-inner-value-class2.scala b/tests/neg/i705-inner-value-class2.scala
new file mode 100644
index 000000000..a084da338
--- /dev/null
+++ b/tests/neg/i705-inner-value-class2.scala
@@ -0,0 +1,9 @@
+class Foo {
+  class B(val a: Int) extends AnyVal
+}
+
+object Test {
+  class B1(val b: Int) extends B(b) // error: cannot extend final class B
+}
+
+