diff options
Diffstat (limited to 'tests/pending/pos/t1292.scala')
-rw-r--r-- | tests/pending/pos/t1292.scala | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/tests/pending/pos/t1292.scala b/tests/pending/pos/t1292.scala new file mode 100644 index 000000000..83a996d53 --- /dev/null +++ b/tests/pending/pos/t1292.scala @@ -0,0 +1,33 @@ +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 + + type Slog = E.type +} + +object MegaRFoo extends RFoo with MegaFoo[RFoo, E.type] { + def stateEnumeration = E + def se2 = E +} |