diff options
author | Paul Phillips <paulp@improving.org> | 2012-02-10 03:51:36 -0800 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2012-02-10 03:59:48 -0800 |
commit | a209868820942c1f5b6333d2a0604c7a63b7d0d1 (patch) | |
tree | 5093fbca86518d70d4212866ee7424cb6a06b16f /test/pending/pos/t5400.scala | |
parent | 34233f031e04d4dc2756682a5e6b67e1e9295840 (diff) | |
download | scala-a209868820942c1f5b6333d2a0604c7a63b7d0d1.tar.gz scala-a209868820942c1f5b6333d2a0604c7a63b7d0d1.tar.bz2 scala-a209868820942c1f5b6333d2a0604c7a63b7d0d1.zip |
Failing tests for pending.
Diffstat (limited to 'test/pending/pos/t5400.scala')
-rw-r--r-- | test/pending/pos/t5400.scala | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/test/pending/pos/t5400.scala b/test/pending/pos/t5400.scala new file mode 100644 index 0000000000..cb4be4bde5 --- /dev/null +++ b/test/pending/pos/t5400.scala @@ -0,0 +1,14 @@ +trait TFn1B { + type In + type Out + type Apply[T <: In] <: Out +} + +trait TFn1[I, O] extends TFn1B { + type In = I + type Out = O +} + +trait >>[F1 <: TFn1[_, _], F2 <: TFn1[_, _]] extends TFn1[F1#In, F2#Out] { + type Apply[T] = F2#Apply[F1#Apply[T]] +} |