From 5f598e8094c1dba3c6cf302383088f4f00626222 Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Wed, 17 Aug 2016 13:42:28 +0200
Subject: Add clause for HKApply in TypeAssigner#avoid

---
 tests/pending/pos/tcpoly_infer_ticket474.scala | 27 --------------------------
 1 file changed, 27 deletions(-)
 delete mode 100644 tests/pending/pos/tcpoly_infer_ticket474.scala

(limited to 'tests/pending')

diff --git a/tests/pending/pos/tcpoly_infer_ticket474.scala b/tests/pending/pos/tcpoly_infer_ticket474.scala
deleted file mode 100644
index 9012deb2b..000000000
--- a/tests/pending/pos/tcpoly_infer_ticket474.scala
+++ /dev/null
@@ -1,27 +0,0 @@
-trait Builder[C[_], T] {
-  def +=(x: T): Unit
-  def finalise: C[T]
-}
-
-trait Buildable[C[_]] {
-  def builder[T]: Builder[C,T]
-}
-
-object Test {
-
-  implicit object buildableList extends Buildable[List] {
-    def builder[T] = new Builder[List,T] {
-      val buf = new scala.collection.mutable.ListBuffer[T]
-      def +=(x: T) = buf += x
-      def finalise = buf.toList
-    }
-  }
-
-  def foo[C[_],T](x: T)(implicit b: Buildable[C]): C[T] = {
-    val builder = b.builder[T]
-    builder += x
-    builder.finalise
-  }
-
-  val l: List[Int] = foo(8)
-}
-- 
cgit v1.2.3