aboutsummaryrefslogtreecommitdiff
path: root/sbt-bridge/sbt-test/source-dependencies/fbounded-existentials/fbounds.scala
diff options
context:
space:
mode:
Diffstat (limited to 'sbt-bridge/sbt-test/source-dependencies/fbounded-existentials/fbounds.scala')
-rw-r--r--sbt-bridge/sbt-test/source-dependencies/fbounded-existentials/fbounds.scala10
1 files changed, 10 insertions, 0 deletions
diff --git a/sbt-bridge/sbt-test/source-dependencies/fbounded-existentials/fbounds.scala b/sbt-bridge/sbt-test/source-dependencies/fbounded-existentials/fbounds.scala
new file mode 100644
index 000000000..60fe40879
--- /dev/null
+++ b/sbt-bridge/sbt-test/source-dependencies/fbounded-existentials/fbounds.scala
@@ -0,0 +1,10 @@
+class Dep {
+ // The API representation for `bla`'s result type contains a cycle
+ // (an existential's type variable's bound is the existential type itself)
+ // This results in a stack overflow while showing the API diff.
+ // Note that the actual result type in the compiler is not cyclic
+ // (the f-bounded existential for Comparable is truncated)
+ def bla(c: Boolean) = if (c) new Value else "bla"
+}
+
+class Value extends java.lang.Comparable[Value] { def compareTo(that: Value): Int = 1 } \ No newline at end of file