diff options
author | Paul Phillips <paulp@improving.org> | 2012-05-03 12:05:58 -0700 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2012-05-03 12:16:21 -0700 |
commit | 264cef8f9677c59395166da9be0af0bfe83abfa5 (patch) | |
tree | 41db0c14e6704edb9a06e92af0d4f6cd1c2f22bf /test/pending/pos/t5399.scala | |
parent | 453d615fb3c6d0db3a0a43c9232bc12584e39107 (diff) | |
download | scala-264cef8f9677c59395166da9be0af0bfe83abfa5.tar.gz scala-264cef8f9677c59395166da9be0af0bfe83abfa5.tar.bz2 scala-264cef8f9677c59395166da9be0af0bfe83abfa5.zip |
Test cases for SI-5472, SI-5399, SI-5685.
Diffstat (limited to 'test/pending/pos/t5399.scala')
-rw-r--r-- | test/pending/pos/t5399.scala | 15 |
1 files changed, 4 insertions, 11 deletions
diff --git a/test/pending/pos/t5399.scala b/test/pending/pos/t5399.scala index d8c1d5e51c..89caba39c1 100644 --- a/test/pending/pos/t5399.scala +++ b/test/pending/pos/t5399.scala @@ -1,15 +1,8 @@ class Test { - type AnyCyclic = Execute[Task]#CyclicException[_] + class A[T] + class B[T](val a: A[T]) - trait Task[T] + case class CaseClass[T](x: T) - trait Execute[A[_] <: AnyRef] { - class CyclicException[T](val caller: A[T], val target: A[T]) - } - - def convertCyclic(c: AnyCyclic): String = - (c.caller, c.target) match { - case (caller: Task[_], target: Task[_]) => "bazinga!" - } + def break(existB: B[_]) = CaseClass(existB.a) match { case CaseClass(_) => } } - |