diff options
author | Martin Odersky <odersky@gmail.com> | 2016-01-31 14:03:26 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2016-02-09 09:43:05 +0100 |
commit | 9a6f82b2ecfd7462d0a1f4e0464878fd58231277 (patch) | |
tree | 8e9e46b08d7fdf45f4b1fd06b30d7e35c43f05b1 /tests/pos/t5070.scala | |
parent | 44c14b3fb6e5eb6f2b9734f092eef1d85f6b4d18 (diff) | |
download | dotty-9a6f82b2ecfd7462d0a1f4e0464878fd58231277.tar.gz dotty-9a6f82b2ecfd7462d0a1f4e0464878fd58231277.tar.bz2 dotty-9a6f82b2ecfd7462d0a1f4e0464878fd58231277.zip |
Reorganize tests to account for new typing of projection
Tests with failed projections are moved to pos-scala2, which
was renamed from pos-special. Files in pos-scala2 are compiled
with -language:Scala2 option.
Diffstat (limited to 'tests/pos/t5070.scala')
-rw-r--r-- | tests/pos/t5070.scala | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/tests/pos/t5070.scala b/tests/pos/t5070.scala deleted file mode 100644 index c236b4f9e..000000000 --- a/tests/pos/t5070.scala +++ /dev/null @@ -1,18 +0,0 @@ -trait Web { - type LocalName -} -trait Companion1[A] -trait WebDSL[W <: Web] { - trait LocalNameCompanion extends Companion1[W#LocalName] { - type A = String - } - implicit val LocalName: LocalNameCompanion -} -object Test { - def t[W <: Web](implicit webDSL: WebDSL[W]): Unit = { - import webDSL._ - implicitly[LocalNameCompanion] // succeeds - implicitly[Companion1[W#LocalName]] // fails - } -} - |