1 files changed, 7 insertions, 0 deletions
diff --git a/tests/untried/neg-with-implicits/t696.scala b/tests/untried/neg-with-implicits/t696.scala
new file mode 100644
index 000000000..ca76f7ef6
--- /dev/null
+++ b/tests/untried/neg-with-implicits/t696.scala
@@ -0,0 +1,7 @@
+object TypeUtil0 {
+  trait Type[+T]
+  implicit def WithType[S,T](implicit tpeS : Type[S], tpeT : Type[T]) : Type[S with T] = null
+  def as[T](x : Any)(implicit tpe : Type[T]) = null
+  as[Any](null)
+  def foo[X]() = as[X](null)
+}