1 files changed, 9 insertions, 0 deletions

diff --git a/test/files/neg/bug696.check b/test/files/neg/bug696.check
new file mode 100644
index 0000000000..5a3ef2ff85
--- /dev/null
+++ b/test/files/neg/bug696.check
@@ -0,0 +1,9 @@
+bug696.scala:3 error: implicit method WithType is not contractive,
+ because the implicit parameter type TypeUtil0.this.Type[S]
+ is not strictly contained in the signature TypeUtil0.this.Type[S with T]
+  implicit def WithType[S,T](implicit tpeS : Type[S], tpeT : Type[T]) : Type[S with T] = null
+           ^
+bug696.scala:4 error: no implicit argument matching parameter type TypeUtil0.this.Type[scala.Any] was found.
+  as[Any](null);
+         ^
+two errors found