From a415ca1ab713f92788262057d9810d937dc7499a Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Tue, 20 Oct 2015 09:47:21 +0200 Subject: Allow existential types in hk types --- tests/pos/polyalias.scala | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'tests/pos') 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 + } -- cgit v1.2.3