From 996f47d48c3c10c51da58558643ec02844e45687 Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Fri, 16 May 2014 14:00:49 +0200
Subject: tests t26xx

---
 tests/pending/pos/t2693.scala | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 tests/pending/pos/t2693.scala

(limited to 'tests/pending/pos/t2693.scala')

diff --git a/tests/pending/pos/t2693.scala b/tests/pending/pos/t2693.scala
new file mode 100644
index 000000000..5d4d0380c
--- /dev/null
+++ b/tests/pending/pos/t2693.scala
@@ -0,0 +1,6 @@
+class A {
+  trait T[A]
+  def usetHk[T[_], A](ta: T[A]) = 0
+  usetHk(new T[Int]{}: T[Int])
+  usetHk(new T[Int]{}) // fails with: found: java.lang.Object with T[Int], required: ?T[ ?A ]
+}
-- 
cgit v1.2.3