Add clause for HKApply in TypeAssigner#avoid

1 files changed, 0 insertions, 27 deletions

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)
-}