Merge pull request #920 from dotty-staging/stdlib-TraversableOnce

Stdlib traversable once

Author: DarkDimius

src/dotty/tools/dotc/core/Definitions.scala

@@ -192,6 +192,9 @@ class Definitions {
     ScalaPackageClass, tpnme.Null, AbstractFinal, List(ObjectClass.typeRef))
 
   lazy val ScalaPredefModule = ctx.requiredModule("scala.Predef")
+
+    lazy val Predef_conforms = ctx.requiredMethod(ScalaPredefModule.moduleClass.asClass, "$conforms")
+
   lazy val ScalaRuntimeModule = ctx.requiredModule("scala.runtime.ScalaRunTime")
   lazy val ScalaRuntimeClass = ScalaRuntimeModule.moduleClass.asClass
 
@@ -210,7 +213,6 @@ class Definitions {
     def newRefArrayMethod = ctx.requiredMethod(DottyArraysModule.moduleClass.asClass, "newRefArray")
 
   lazy val NilModule = ctx.requiredModule("scala.collection.immutable.Nil")
-  lazy val PredefConformsClass = ctx.requiredClass("scala.Predef." + tpnme.Conforms)
 
 //  lazy val FunctionClass: ClassSymbol = ctx.requiredClass("scala.Function")
   lazy val SingletonClass: ClassSymbol =

src/dotty/tools/dotc/typer/Implicits.scala

@@ -65,7 +65,9 @@ object Implicits {
           case tpw =>
             //if (ctx.typer.isApplicable(tp, argType :: Nil, resultType))
             //  println(i"??? $tp is applicable to $this / typeSymbol = ${tpw.typeSymbol}")
-            !tpw.derivesFrom(defn.FunctionClass(1)) || tpw.isRef(defn.PredefConformsClass)
+            !tpw.derivesFrom(defn.FunctionClass(1)) ||
+            ref.symbol == defn.Predef_conforms //
+              // as an implicit conversion, Predef.$conforms is a no-op, so exclude it
         }
 
         def discardForValueType(tpw: Type): Boolean = tpw match {

test/dotc/scala-collections.whitelist

@@ -103,7 +103,7 @@
 ./scala-scala/src/library/scala/collection/LinearSeqOptimized.scala
 
 # https://github.com/lampepfl/dotty/issues/914
-#./scala-scala/src/library/scala/collection/TraversableOnce.scala
+./scala-scala/src/library/scala/collection/TraversableOnce.scala
 ./scala-scala/src/library/scala/collection/generic/Growable.scala
 ./scala-scala/src/library/scala/collection/generic/TraversableForwarder.scala
 ./scala-scala/src/library/scala/collection/immutable/BitSet.scala

tests/new/conforms.scala

@@ -0,0 +1,3 @@
+object Test {
+  def f[A, B](x: A)(implicit e: <:<[A, B]): B = x
+}