aboutsummaryrefslogtreecommitdiff
path: root/tests/untried/pos/t0905.scala
diff options
context:
space:
mode:
Diffstat (limited to 'tests/untried/pos/t0905.scala')
-rw-r--r--tests/untried/pos/t0905.scala6
1 files changed, 6 insertions, 0 deletions
diff --git a/tests/untried/pos/t0905.scala b/tests/untried/pos/t0905.scala
new file mode 100644
index 000000000..8cd84759c
--- /dev/null
+++ b/tests/untried/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)
+}