From f0125bc5912ebe87a01c7e63094dc97757d2dee8 Mon Sep 17 00:00:00 2001
From: Paul Phillips <paulp@improving.org>
Date: Mon, 20 Jun 2011 15:28:15 +0000
Subject: When TypeVars were given higher-order abilities...

When TypeVars were given higher-order abilities, so too should have been
WildcardType, which acts as a plceholder for typevars. Always inflicting
arguments upon it was the cause of #2308. Closes #2308, review by moors.
---
 test/files/pos/hk-infer.scala | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'test/files/pos/hk-infer.scala')

diff --git a/test/files/pos/hk-infer.scala b/test/files/pos/hk-infer.scala
index a1b83bf04a..30e3476404 100644
--- a/test/files/pos/hk-infer.scala
+++ b/test/files/pos/hk-infer.scala
@@ -8,6 +8,9 @@ object Basis {
 import Basis._
 
 object DoesWork {
+  // Doesn'tWork
+  // def f1 = x ++ y ++ x1 ++ x2
+
   def f2 = List(x, y, x1, x2).flatten
 }
 
-- 
cgit v1.2.3