diff options
author | Paul Phillips <paulp@improving.org> | 2010-01-28 05:46:36 +0000 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2010-01-28 05:46:36 +0000 |
commit | 6a79e29cd85194e4ebf1bb38732caddd88896925 (patch) | |
tree | 5630dd970809455d4a22d7cc64d99ae0549faab7 /test/pending/pos/ticket2251.scala | |
parent | f6c69106d3baa59479e839727acc03ae4035519d (diff) | |
download | scala-6a79e29cd85194e4ebf1bb38732caddd88896925.tar.gz scala-6a79e29cd85194e4ebf1bb38732caddd88896925.tar.bz2 scala-6a79e29cd85194e4ebf1bb38732caddd88896925.zip |
Moved some test cases from pending to files sin...
Moved some test cases from pending to files since the bugs they were
watching for seem to be fixed. Moved some other test cases from pending
to disabled because they deceptively claim to pass while investigation
reveals the ticket needs to remain open. Closes #1996, #2660.
Diffstat (limited to 'test/pending/pos/ticket2251.scala')
-rw-r--r-- | test/pending/pos/ticket2251.scala | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/test/pending/pos/ticket2251.scala b/test/pending/pos/ticket2251.scala deleted file mode 100644 index 7b6efb0ea0..0000000000 --- a/test/pending/pos/ticket2251.scala +++ /dev/null @@ -1,25 +0,0 @@ - -// Martin: I am not sure this is a solvable problem right now. I'll leave it in pending. -// derived from pos/bug1001 -class A -trait B[T <: B[T]] extends A -class C extends B[C] -class D extends B[D] - -class Data { - // force computing lub of C and D (printLubs enabled:) - -/* -lub of List(D, C) at depth 2 - lub of List(D, C) at depth 1 - lub of List(D, C) at depth 0 - lub of List(D, C) is A - lub of List(D, C) is B[_1] forSome { type _1 >: D with C <: A } -lub of List(D, C) is B[_2] forSome { type _2 >: D with C{} <: B[_1] forSome { type _1 >: D with C{} <: A } } -*/ -// --> result = WRONG - - // should be: B[X] forSome {type X <: B[X]} -- can this be done automatically? for now, just detect f-bounded polymorphism and fall back to more coarse approximation - - val data: List[A] = List(new C, new D) -} |