Merge pull request #3796 from dotty-staging/update-stdlib-blacklist

Update stdlib blacklist: remove now working entries

Author: nicolasstucki

compiler/test/dotc/scala-collections.blacklist

@@ -1,54 +1,5 @@
-scala/runtime/ScalaRunTime.scala
-# Doesn't compile since we're not on 2.11 anymore
-
-
-## Errors having to do with deep subtypes
-
-scala/collection/generic/ParSetFactory.scala
-# This gives a deep subtype violation when run with the rest of the whitelist.
-# Works without -Yno-deep-subtypes, though.
-
-scala/collection/parallel/mutable/ParMap.scala
-# -Yno-deep-subtypes fails
-
-scala/collection/parallel/ParMap.scala
-# -Yno-deep-subtypes fails
-
-scala/collection/parallel/ParMapLike.scala
-# -Yno-deep-subtypes fails
-
-
-
-## Ycheck failures, presumably linked to TailCalls
-
-scala/collection/parallel/ParIterableLike.scala
-# -Ycheck:classOf fails
-
-scala/collection/parallel/ParSeqLike.scala
-# -Ycheck:classOf fails
-
-scala/util/control/TailCalls.scala
-# -Ycheck:classOf fails
-
-
-
 ## Errors having to do with unavailable APIs or language features:
 
-scala/reflect/ClassManifestDeprecatedApis.scala
-# 51 |      import Manifest._
-#    |             ^^^^^^^^
-#    |             not found: Manifest
-
-scala/reflect/ClassTag.scala
-# 124 |  val Short   : ClassTag[scala.Short]      = Manifest.Short
-#     |                                             ^^^^^^^^
-#     |                                             not found: Manifest
-
-scala/reflect/Manifest.scala
-# 104 |    private def readResolve(): Any = Manifest.Short
-#     |                                     ^^^^^^^^
-#     |                                     not found: Manifest
-
 scala/text/Document.scala
 # Lots of type errors for pattern matches, having to do with the fact
 # that Document contains a :: method without corresponding extractor,
@@ -70,8 +21,3 @@ scala/StringContext.scala
 # 168 |  def f[A >: Any](args: A*): String = macro ???
 #     |                                      ^^^^^
 #     |                                      not found: macro
-
-scala/util/control/Exception.scala
-# 51 |  implicit def throwableSubtypeToCatcher[Ex <: Throwable: ClassTag, T](pf: PartialFunction[Ex, T]) =
-#    |                                                                                                 ^
-#    |                                                                     cyclic reference involving method mkCatcher

doc-tool/src/dotty/tools/dottydoc/model/factories.scala

@@ -120,6 +120,9 @@ object factories {
 
       case ref @ RefinedType(parent, rn, info) =>
         expandTpe(parent) //FIXME: will be a refined HK, aka class Foo[X] { def bar: List[X] } or similar
+
+      case tp: LazyRef =>
+        expandTpe(tp.ref)
     }
 
     expandTpe(t)
@@ -175,9 +178,7 @@ object factories {
     case annot: AnnotatedType =>
       paramLists(annot.tpe)
 
-    case (_: TypeParamRef | _: RefinedType | _: TypeRef | _: ThisType |
-          _: ExprType  | _: OrType      | _: AndType | _: AppliedType |
-          _: TermRef   | _: ConstantType) =>
+    case _ =>
       Nil // return types should not be in the paramlist
   }