diff options
| author | Nicolas Stucki <nicolas.stucki@gmail.com> | 2017-03-01 22:51:00 +0100 |
|---|---|---|
| committer | Nicolas Stucki <nicolas.stucki@gmail.com> | 2017-03-01 22:51:00 +0100 |
| commit | 8d801e9edc384c0ef899046aff61730a524aa85d (patch) | |
| tree | 91a6afbda2555988ce376a421bbaa810c447695e /tests/neg | |
| parent | feaa0aeb691b24a407ccc9f371e7a1ae6545b33c (diff) | |
| download | dotty-8d801e9edc384c0ef899046aff61730a524aa85d.tar.gz dotty-8d801e9edc384c0ef899046aff61730a524aa85d.tar.bz2 dotty-8d801e9edc384c0ef899046aff61730a524aa85d.zip | |
Allow abstract type members in objects.
Diffstat (limited to 'tests/neg')
| -rw-r--r-- | tests/neg/customArgs/typers.scala | 2 | ||||
| -rw-r--r-- | tests/neg/i1050c.scala | 3 |
2 files changed, 3 insertions, 2 deletions
diff --git a/tests/neg/customArgs/typers.scala b/tests/neg/customArgs/typers.scala index 49742ebbd..9432ab039 100644 --- a/tests/neg/customArgs/typers.scala +++ b/tests/neg/customArgs/typers.scala @@ -30,7 +30,7 @@ object typers { } type L[X] = scala.collection.immutable.List[X] - type M[X, Y] <: scala.collection.immutable.Map[X, Y] // error: only classes can have declared but undefined members + type M[X, Y] <: scala.collection.immutable.Map[X, Y] // old-error: only classes can have declared but undefined members object hk { def f(x: L) // error: missing type parameter diff --git a/tests/neg/i1050c.scala b/tests/neg/i1050c.scala index 19570eb83..ecfaa3ea3 100644 --- a/tests/neg/i1050c.scala +++ b/tests/neg/i1050c.scala @@ -27,7 +27,8 @@ object Tiark4 { v.brand("boom!") } object V { // error: cannot be instantiated - type Y >: Any <: Nothing // error: only classes can have declared but undefined members + type Y >: Any <: Nothing // old-error: only classes can have declared but undefined members + type Z } object Tiark5 { trait A { type L <: Nothing } |