1 files changed, 10 insertions, 0 deletions
diff --git a/tests/disabled/typetags/pos/t8237b.scala b/tests/disabled/typetags/pos/t8237b.scala
new file mode 100644
index 000000000..52bb310e8
--- /dev/null
+++ b/tests/disabled/typetags/pos/t8237b.scala
@@ -0,0 +1,10 @@
+import scala.language.higherKinds
+import scala.reflect.runtime.universe._
+object Test {
+
+  def fTt[A,E[X]<:List[X]](a: A)(implicit tt: TypeTag[E[A]]) = a
+
+  trait TC[A]
+  implicit def TCListInt[A]: TC[A] = ???
+  fTt(1)
+}