diff options
Diffstat (limited to 'test/files/neg/t696.scala')
-rw-r--r-- | test/files/neg/t696.scala | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/test/files/neg/t696.scala b/test/files/neg/t696.scala new file mode 100644 index 0000000000..ca76f7ef6c --- /dev/null +++ b/test/files/neg/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) +} |