diff options
Diffstat (limited to 'tests/pos-scala2/t1292.scala')
-rw-r--r-- | tests/pos-scala2/t1292.scala | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/tests/pos-scala2/t1292.scala b/tests/pos-scala2/t1292.scala new file mode 100644 index 000000000..8e69734e9 --- /dev/null +++ b/tests/pos-scala2/t1292.scala @@ -0,0 +1,32 @@ +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 +} |