Enable <:< implicits as conversions.

These were disabled before, which means that having evidence
of S <:< T did not introduce a usable implicit conversion from
S to T. We do do it like scalac: just disable Predef.$conforms.

This makes TraversableOnce compile. Fixes #914.

1 files changed, 3 insertions, 0 deletions

diff --git a/tests/new/conforms.scala b/tests/new/conforms.scala
new file mode 100644
index 000000000..f07488d28
--- /dev/null
+++ b/tests/new/conforms.scala
@@ -0,0 +1,3 @@
+object Test {
+  def f[A, B](x: A)(implicit e: <:<[A, B]): B = x
+}