diff options
| author | Lukas Rytz <lukas.rytz@typesafe.com> | 2015-11-16 14:12:58 +0100 |
|---|---|---|
| committer | Lukas Rytz <lukas.rytz@typesafe.com> | 2015-11-16 14:12:58 +0100 |
| commit | 72b855f978b1d2695ca4a2ae942a537c6a6e8f54 (patch) | |
| tree | 1095eba5dbdc5d40297dc80067823100ff1af803 /test | |
| parent | c7040b6ac445e2fc33118fce5cea910b4bdcc731 (diff) | |
| parent | 238b1fba3d5085457d05817c646d436542def5ea (diff) | |
| download | scala-72b855f978b1d2695ca4a2ae942a537c6a6e8f54.tar.gz scala-72b855f978b1d2695ca4a2ae942a537c6a6e8f54.tar.bz2 scala-72b855f978b1d2695ca4a2ae942a537c6a6e8f54.zip | |
Merge pull request #4828 from retronym/topic/existential-contains
Attacking exponential complexity in TypeMaps
Diffstat (limited to 'test')
| -rw-r--r-- | test/files/pos/existental-slow-compile2.scala | 7 | ||||
| -rw-r--r-- | test/files/pos/existential-slow-compile1.flags | 1 | ||||
| -rw-r--r-- | test/files/pos/existential-slow-compile1.scala | 7 |
3 files changed, 15 insertions, 0 deletions
diff --git a/test/files/pos/existental-slow-compile2.scala b/test/files/pos/existental-slow-compile2.scala new file mode 100644 index 0000000000..907344982c --- /dev/null +++ b/test/files/pos/existental-slow-compile2.scala @@ -0,0 +1,7 @@ +class C { + class L[+A] + def test = { + val foo: + L[_ <: L[_ <: L[_ <: L[_ <: L[_ <: L[_ <: _ <: L[_ <: L[_ <: L[_ <: L[_ <: L[_ <: L[_ <: L[_ <: L[_ <: L[_ <: L[_ <: L[_ <: L[_ <: _ <: L[_ <: L[_ <: L[_ <: L[_ <: L[_ <: L[_]]]]]]]]]]]]]]]]]]]]]]]] + = ??? } } + diff --git a/test/files/pos/existential-slow-compile1.flags b/test/files/pos/existential-slow-compile1.flags new file mode 100644 index 0000000000..7f7581974d --- /dev/null +++ b/test/files/pos/existential-slow-compile1.flags @@ -0,0 +1 @@ +-Ystop-after:refchecks diff --git a/test/files/pos/existential-slow-compile1.scala b/test/files/pos/existential-slow-compile1.scala new file mode 100644 index 0000000000..8602afd9db --- /dev/null +++ b/test/files/pos/existential-slow-compile1.scala @@ -0,0 +1,7 @@ +class C { + type L[+A] = scala.collection.immutable.List[A] + def test = { + val foo: + L[_ <: L[_ <: L[_ <: L[_ <: L[_ <: L[_ <: _ <: L[_ <: L[_ <: L[_ <: L[_ <: L[_ <: L[_ <: L[_ <: L[_ <: L[_ <: L[_ <: L[_ <: L[_ <: _ <: L[_ <: L[_ <: L[_ <: L[_ <: L[_ <: L[_]]]]]]]]]]]]]]]]]]]]]]]] + = ??? } } + |