1 files changed, 6 insertions, 0 deletions
diff --git a/test/files/pos/t0905.scala b/test/files/pos/t0905.scala
new file mode 100644
index 0000000000..8cd84759cf
--- /dev/null
+++ b/test/files/pos/t0905.scala
@@ -0,0 +1,6 @@
+object Test {
+  trait A[T]
+  def f(implicit p: A[T] forSome { type T } ) = null
+  implicit val x: A[T] forSome { type T } = null
+  println(f)
+}