diff options
| author | Adriaan Moors <adriaan.moors@typesafe.com> | 2014-12-05 11:52:53 -0800 |
|---|---|---|
| committer | Adriaan Moors <adriaan.moors@typesafe.com> | 2014-12-05 11:52:53 -0800 |
| commit | 881048933667dc3e021d557e9f79e0850ac84712 (patch) | |
| tree | da2c93e5469ed86e50b3fe6ba5e9ddea1e27337d /test/files/neg | |
| parent | cbbfbffc44a93c2a62565fdfb60d7b587d5edd1e (diff) | |
| parent | 64ae23f6438054a08bebf1fa6af0f14d63cfc0ea (diff) | |
| download | scala-881048933667dc3e021d557e9f79e0850ac84712.tar.gz scala-881048933667dc3e021d557e9f79e0850ac84712.tar.bz2 scala-881048933667dc3e021d557e9f79e0850ac84712.zip | |
Merge pull request #4169 from retronym/ticket/9008
SI-9008 Fix regression with higher kinded existentials
Diffstat (limited to 'test/files/neg')
| -rw-r--r-- | test/files/neg/t9008.check | 4 | ||||
| -rw-r--r-- | test/files/neg/t9008.scala | 3 | ||||
| -rw-r--r-- | test/files/neg/t9008b.check | 4 | ||||
| -rw-r--r-- | test/files/neg/t9008b.scala | 3 |
4 files changed, 14 insertions, 0 deletions
diff --git a/test/files/neg/t9008.check b/test/files/neg/t9008.check new file mode 100644 index 0000000000..c32bc41baf --- /dev/null +++ b/test/files/neg/t9008.check @@ -0,0 +1,4 @@ +t9008.scala:2: error: type M takes type parameters + def x: List[M forSome { type M[_] }] = ??? + ^ +one error found diff --git a/test/files/neg/t9008.scala b/test/files/neg/t9008.scala new file mode 100644 index 0000000000..c6a5389e42 --- /dev/null +++ b/test/files/neg/t9008.scala @@ -0,0 +1,3 @@ +object Test { + def x: List[M forSome { type M[_] }] = ??? +} diff --git a/test/files/neg/t9008b.check b/test/files/neg/t9008b.check new file mode 100644 index 0000000000..5e911fc138 --- /dev/null +++ b/test/files/neg/t9008b.check @@ -0,0 +1,4 @@ +t9008b.scala:2: error: type M takes type parameters + type T = M forSome { type M[_] } + ^ +one error found diff --git a/test/files/neg/t9008b.scala b/test/files/neg/t9008b.scala new file mode 100644 index 0000000000..58f9d0e8de --- /dev/null +++ b/test/files/neg/t9008b.scala @@ -0,0 +1,3 @@ +object Test { + type T = M forSome { type M[_] } +} |