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/t1292.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/t1292.scala')
-rw-r--r-- | tests/pos/t1292.scala | 32 |
1 files changed, 0 insertions, 32 deletions
diff --git a/tests/pos/t1292.scala b/tests/pos/t1292.scala deleted file mode 100644 index 8e69734e9..000000000 --- a/tests/pos/t1292.scala +++ /dev/null @@ -1,32 +0,0 @@ -trait Foo[T <: Foo[T, Enum], Enum <: Enumeration] { - type StV = Enum#Value - type Meta = MegaFoo[T, Enum] - - type Slog = Enumeration - - def getSingleton: Meta -} - -trait MegaFoo[T <: Foo[T, Enum], Enum <: Enumeration] extends Foo[T, Enum] { - def doSomething(what: T, misc: StV, dog: Meta#Event) = None - - abstract class Event - object Event - - def stateEnumeration: Slog - def se2: Enum -} - -object E extends Enumeration { - val A = Value - val B = Value -} - -class RFoo extends Foo[RFoo, E.type] { - def getSingleton = MegaRFoo -} - -object MegaRFoo extends RFoo with MegaFoo[RFoo, E.type] { - def stateEnumeration = E - def se2 = E -} |