diff options
author | Jason Zaugg <jzaugg@gmail.com> | 2014-02-14 16:08:23 +0100 |
---|---|---|
committer | Adriaan Moors <adriaan.moors@typesafe.com> | 2014-02-14 11:40:17 -0800 |
commit | 2a1b15ea5d8b9e4060846135e8a7adf74b9c398f (patch) | |
tree | 1fa3109cd18097332b095861bb51127a2a260c7f /test | |
parent | 7eca4e724cde06fd9914eac975ff5c4136704bce (diff) | |
download | scala-2a1b15ea5d8b9e4060846135e8a7adf74b9c398f.tar.gz scala-2a1b15ea5d8b9e4060846135e8a7adf74b9c398f.tar.bz2 scala-2a1b15ea5d8b9e4060846135e8a7adf74b9c398f.zip |
SI-8283 mutation-free bound inference for existentials
A safer version of the fix for SI-6169 (#3471)
Only modify the skolems to avoid leaking the sharper bounds to `quantified`.
The included test case was minimized from akka-camel
(src/main/scala/akka/camel/Consumer.scala).
Diffstat (limited to 'test')
-rw-r--r-- | test/files/pos/existential-java-case-class/Client.scala | 3 | ||||
-rw-r--r-- | test/files/pos/existential-java-case-class/J.java | 1 |
2 files changed, 4 insertions, 0 deletions
diff --git a/test/files/pos/existential-java-case-class/Client.scala b/test/files/pos/existential-java-case-class/Client.scala new file mode 100644 index 0000000000..368899820f --- /dev/null +++ b/test/files/pos/existential-java-case-class/Client.scala @@ -0,0 +1,3 @@ +case class CC(x: J[_]) + +case class CC1(x: Any => J[_]) diff --git a/test/files/pos/existential-java-case-class/J.java b/test/files/pos/existential-java-case-class/J.java new file mode 100644 index 0000000000..7fd7848286 --- /dev/null +++ b/test/files/pos/existential-java-case-class/J.java @@ -0,0 +1 @@ +public class J<T extends String> {} |