diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-10-20 09:47:21 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-10-24 10:34:51 +0200 |
| commit | a415ca1ab713f92788262057d9810d937dc7499a (patch) | |
| tree | 309b87812b05d0be733b09abdd78b2ecfb7b6c3b /tests/pos | |
| parent | 87098e63c2796387c598513a2af2d8f2d1aae91b (diff) | |
| download | dotty-a415ca1ab713f92788262057d9810d937dc7499a.tar.gz dotty-a415ca1ab713f92788262057d9810d937dc7499a.tar.bz2 dotty-a415ca1ab713f92788262057d9810d937dc7499a.zip | |
Allow existential types in hk types
Diffstat (limited to 'tests/pos')
| -rw-r--r-- | tests/pos/polyalias.scala | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/tests/pos/polyalias.scala b/tests/pos/polyalias.scala index 6ce0e3230..c9d4e0426 100644 --- a/tests/pos/polyalias.scala +++ b/tests/pos/polyalias.scala @@ -23,4 +23,10 @@ object Test { val rm: RMap[Int, String] = Map[String, Int]() val rrm: RRMap[Int, String] = Map[Int, String]() + val zz: RMap[_, Int] = Map[Int, String]() + val m = Map[Int, String]() + val ts: RMap[_, Int] = m + val us: RMap[String, _] = m + val vs: RMap[_, _] = m + } |