From 6cca64fa0aa37942812d1c870b99f309dab67352 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Wed, 7 Oct 2015 12:42:38 +0200 Subject: Check that some types are not higher-kinded. Invalidates #813. Review by @darkdimius. --- tests/pos/polyalias.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tests/pos') diff --git a/tests/pos/polyalias.scala b/tests/pos/polyalias.scala index 07bb241f0..6ce0e3230 100644 --- a/tests/pos/polyalias.scala +++ b/tests/pos/polyalias.scala @@ -3,7 +3,7 @@ object Test { type S = scala.Predef.Set - val z: S = ??? + val z: S[_] = ??? type Pair[T] = (T, T) -- cgit v1.2.3