Remove workarounds for fixed stdlib files.

Author: nicolasstucki

compiler/src/dotty/tools/dotc/transform/linker/callgraph/CallInfoWithContext.scala

@@ -9,8 +9,6 @@ import scala.collection.mutable
 case class CallInfoWithContext(call: Type, targs: List[Type], argumentsPassed: List[Type], outerTargs: OuterTargs,
     parent: Option[CallInfoWithContext], callee: Option[CallInfo])(implicit ctx: Context) extends AbstractCallInfo {
 
-  assert(!call.widenDealias.isInstanceOf[PolyParam], call.widenDealias)
-
   private val outEdges = mutable.HashMap[CallInfo, List[CallInfoWithContext]]().withDefault(x => Nil)
 
   def outEdgesIterator: Iterator[(CallInfo, List[CallInfoWithContext])] = outEdges.iterator

tests/link-dce-stdlib-fail-compile/stdlib-link-array-toList/scala/sys/SystemProperties.scala

@@ -61,7 +61,7 @@ object SystemProperties {
    */
   def exclusively[T](body: => T) = this synchronized body
 
-  //  implicit def systemPropertiesToCompanion(p: SystemProperties): SystemProperties.type = this
+  implicit def systemPropertiesToCompanion(p: SystemProperties): SystemProperties.type = this
   // FIXME: A PolyParam ends up in a CallInfoWithContext
   //  private lazy val propertyHelp = mutable.Map[String, String]()
   private def addHelp[P <: Prop[_]](p: P, helpText: String): P = {

tests/link-dce-stdlib-fail-compile/stdlib-link-list-3/scala/sys/SystemProperties.scala

@@ -61,7 +61,7 @@ object SystemProperties {
    */
   def exclusively[T](body: => T) = this synchronized body
 
-  //  implicit def systemPropertiesToCompanion(p: SystemProperties): SystemProperties.type = this
+  implicit def systemPropertiesToCompanion(p: SystemProperties): SystemProperties.type = this
   // FIXME: A PolyParam ends up in a CallInfoWithContext
   //  private lazy val propertyHelp = mutable.Map[String, String]()
   private def addHelp[P <: Prop[_]](p: P, helpText: String): P = {

tests/link-dce-stdlib-fail-compile/stdlib-link-map-2/scala/sys/SystemProperties.scala

@@ -61,7 +61,7 @@ object SystemProperties {
    */
   def exclusively[T](body: => T) = this synchronized body
 
-  //  implicit def systemPropertiesToCompanion(p: SystemProperties): SystemProperties.type = this
+  implicit def systemPropertiesToCompanion(p: SystemProperties): SystemProperties.type = this
   // FIXME: A PolyParam ends up in a CallInfoWithContext
   //  private lazy val propertyHelp = mutable.Map[String, String]()
   private def addHelp[P <: Prop[_]](p: P, helpText: String): P = {

tests/link-dce-stdlib-fail-compile/stdlib-link-patmatch-4/scala/sys/SystemProperties.scala

@@ -61,7 +61,7 @@ object SystemProperties {
    */
   def exclusively[T](body: => T) = this synchronized body
 
-  //  implicit def systemPropertiesToCompanion(p: SystemProperties): SystemProperties.type = this
+  implicit def systemPropertiesToCompanion(p: SystemProperties): SystemProperties.type = this
   // FIXME: A PolyParam ends up in a CallInfoWithContext
   //  private lazy val propertyHelp = mutable.Map[String, String]()
   private def addHelp[P <: Prop[_]](p: P, helpText: String): P = {

tests/link-dce-stdlib-fail-compile/stdlib-link-set-2/scala/sys/SystemProperties.scala

@@ -61,7 +61,7 @@ object SystemProperties {
    */
   def exclusively[T](body: => T) = this synchronized body
 
-  //  implicit def systemPropertiesToCompanion(p: SystemProperties): SystemProperties.type = this
+  implicit def systemPropertiesToCompanion(p: SystemProperties): SystemProperties.type = this
   // FIXME: A PolyParam ends up in a CallInfoWithContext
   //  private lazy val propertyHelp = mutable.Map[String, String]()
   private def addHelp[P <: Prop[_]](p: P, helpText: String): P = {

tests/link-dce-stdlib-fail-compile/stdlib-link-vector-3/scala/sys/SystemProperties.scala

@@ -61,7 +61,7 @@ object SystemProperties {
    */
   def exclusively[T](body: => T) = this synchronized body
 
-  //  implicit def systemPropertiesToCompanion(p: SystemProperties): SystemProperties.type = this
+  implicit def systemPropertiesToCompanion(p: SystemProperties): SystemProperties.type = this
   // FIXME: A PolyParam ends up in a CallInfoWithContext
   //  private lazy val propertyHelp = mutable.Map[String, String]()
   private def addHelp[P <: Prop[_]](p: P, helpText: String): P = {

tests/link-dce-stdlib-fail-compile/stdlib-link-vector-4/scala/sys/SystemProperties.scala

@@ -61,7 +61,7 @@ object SystemProperties {
    */
   def exclusively[T](body: => T) = this synchronized body
 
-  //  implicit def systemPropertiesToCompanion(p: SystemProperties): SystemProperties.type = this
+  implicit def systemPropertiesToCompanion(p: SystemProperties): SystemProperties.type = this
   // FIXME: A PolyParam ends up in a CallInfoWithContext
   //  private lazy val propertyHelp = mutable.Map[String, String]()
   private def addHelp[P <: Prop[_]](p: P, helpText: String): P = {

tests/link-dce-stdlib-fail-compile/stdlib-link-vector-5/scala/sys/SystemProperties.scala

@@ -61,7 +61,7 @@ object SystemProperties {
    */
   def exclusively[T](body: => T) = this synchronized body
 
-  //  implicit def systemPropertiesToCompanion(p: SystemProperties): SystemProperties.type = this
+  implicit def systemPropertiesToCompanion(p: SystemProperties): SystemProperties.type = this
   // FIXME: A PolyParam ends up in a CallInfoWithContext
   //  private lazy val propertyHelp = mutable.Map[String, String]()
   private def addHelp[P <: Prop[_]](p: P, helpText: String): P = {

tests/link-dce-stdlib-fail-run/stdlib-link-predef-println-1/scala/sys/SystemProperties.scala

@@ -61,7 +61,7 @@ object SystemProperties {
    */
   def exclusively[T](body: => T) = this synchronized body
 
-  //  implicit def systemPropertiesToCompanion(p: SystemProperties): SystemProperties.type = this
+  implicit def systemPropertiesToCompanion(p: SystemProperties): SystemProperties.type = this
   // FIXME: A PolyParam ends up in a CallInfoWithContext
   //  private lazy val propertyHelp = mutable.Map[String, String]()
   private def addHelp[P <: Prop[_]](p: P, helpText: String): P = {

tests/link-dce-stdlib-fail-run/stdlib-link-predef-println-2/scala/sys/SystemProperties.scala

@@ -61,7 +61,7 @@ object SystemProperties {
    */
   def exclusively[T](body: => T) = this synchronized body
 
-  //  implicit def systemPropertiesToCompanion(p: SystemProperties): SystemProperties.type = this
+  implicit def systemPropertiesToCompanion(p: SystemProperties): SystemProperties.type = this
   // FIXME: A PolyParam ends up in a CallInfoWithContext
   //  private lazy val propertyHelp = mutable.Map[String, String]()
   private def addHelp[P <: Prop[_]](p: P, helpText: String): P = {

tests/link-dce-stdlib-fail-run/stdlib-link-vector-1/scala/sys/SystemProperties.scala

@@ -61,7 +61,7 @@ object SystemProperties {
    */
   def exclusively[T](body: => T) = this synchronized body
 
-  //  implicit def systemPropertiesToCompanion(p: SystemProperties): SystemProperties.type = this
+  implicit def systemPropertiesToCompanion(p: SystemProperties): SystemProperties.type = this
   // FIXME: A PolyParam ends up in a CallInfoWithContext
   //  private lazy val propertyHelp = mutable.Map[String, String]()
   private def addHelp[P <: Prop[_]](p: P, helpText: String): P = {

tests/link-dce-stdlib/stdlib-link-3xqmark/scala/sys/SystemProperties.scala

@@ -61,7 +61,7 @@ object SystemProperties {
    */
   def exclusively[T](body: => T) = this synchronized body
 
-  //  implicit def systemPropertiesToCompanion(p: SystemProperties): SystemProperties.type = this
+  implicit def systemPropertiesToCompanion(p: SystemProperties): SystemProperties.type = this
   // FIXME: A PolyParam ends up in a CallInfoWithContext
   //  private lazy val propertyHelp = mutable.Map[String, String]()
   private def addHelp[P <: Prop[_]](p: P, helpText: String): P = {

tests/link-dce-stdlib/stdlib-link-SystemProperties/scala/sys/SystemProperties.scala

@@ -61,7 +61,7 @@ object SystemProperties {
    */
   def exclusively[T](body: => T) = this synchronized body
 
-  //  implicit def systemPropertiesToCompanion(p: SystemProperties): SystemProperties.type = this
+  implicit def systemPropertiesToCompanion(p: SystemProperties): SystemProperties.type = this
   // FIXME: A PolyParam ends up in a CallInfoWithContext
   //  private lazy val propertyHelp = mutable.Map[String, String]()
   private def addHelp[P <: Prop[_]](p: P, helpText: String): P = {

tests/link-dce-stdlib/stdlib-link-array-mkString/scala/sys/SystemProperties.scala

@@ -61,7 +61,7 @@ object SystemProperties {
    */
   def exclusively[T](body: => T) = this synchronized body
 
-  //  implicit def systemPropertiesToCompanion(p: SystemProperties): SystemProperties.type = this
+  implicit def systemPropertiesToCompanion(p: SystemProperties): SystemProperties.type = this
   // FIXME: A PolyParam ends up in a CallInfoWithContext
   //  private lazy val propertyHelp = mutable.Map[String, String]()
   private def addHelp[P <: Prop[_]](p: P, helpText: String): P = {

tests/link-dce-stdlib/stdlib-link-break/scala/sys/SystemProperties.scala

@@ -61,7 +61,7 @@ object SystemProperties {
    */
   def exclusively[T](body: => T) = this synchronized body
 
-  //  implicit def systemPropertiesToCompanion(p: SystemProperties): SystemProperties.type = this
+  implicit def systemPropertiesToCompanion(p: SystemProperties): SystemProperties.type = this
   // FIXME: A PolyParam ends up in a CallInfoWithContext
   //  private lazy val propertyHelp = mutable.Map[String, String]()
   private def addHelp[P <: Prop[_]](p: P, helpText: String): P = {

tests/link-dce-stdlib/stdlib-link-list-1/scala/sys/SystemProperties.scala

@@ -61,18 +61,17 @@ object SystemProperties {
    */
   def exclusively[T](body: => T) = this synchronized body
 
-  //  implicit def systemPropertiesToCompanion(p: SystemProperties): SystemProperties.type = this
-  // FIXME: A PolyParam ends up in a CallInfoWithContext
-  //  private lazy val propertyHelp = mutable.Map[String, String]()
+  implicit def systemPropertiesToCompanion(p: SystemProperties): SystemProperties.type = this
+  private lazy val propertyHelp = mutable.Map[String, String]()
   private def addHelp[P <: Prop[_]](p: P, helpText: String): P = {
-//    propertyHelp(p.key) = helpText
+    propertyHelp(p.key) = helpText
     p
   }
   private def bool(key: String, helpText: String): BooleanProp = addHelp[BooleanProp](
     if (key startsWith "java.") BooleanProp.valueIsTrue(key) else BooleanProp.keyExists(key),
     helpText
   )
-//  def help(key: String) = propertyHelp.getOrElse(key, "")
+  def help(key: String) = propertyHelp.getOrElse(key, "")
 
   // Todo: bring some sanity to the intersection of system properties aka "mutable
   // state shared by everyone and everything" and the reality that there is no other

tests/link-dce-stdlib/stdlib-link-list-2/scala/sys/SystemProperties.scala

@@ -61,18 +61,17 @@ object SystemProperties {
    */
   def exclusively[T](body: => T) = this synchronized body
 
-  //  implicit def systemPropertiesToCompanion(p: SystemProperties): SystemProperties.type = this
-  // FIXME: A PolyParam ends up in a CallInfoWithContext
-  //  private lazy val propertyHelp = mutable.Map[String, String]()
+  implicit def systemPropertiesToCompanion(p: SystemProperties): SystemProperties.type = this
+  private lazy val propertyHelp = mutable.Map[String, String]()
   private def addHelp[P <: Prop[_]](p: P, helpText: String): P = {
-//    propertyHelp(p.key) = helpText
+    propertyHelp(p.key) = helpText
     p
   }
   private def bool(key: String, helpText: String): BooleanProp = addHelp[BooleanProp](
     if (key startsWith "java.") BooleanProp.valueIsTrue(key) else BooleanProp.keyExists(key),
     helpText
   )
-//  def help(key: String) = propertyHelp.getOrElse(key, "")
+  def help(key: String) = propertyHelp.getOrElse(key, "")
 
   // Todo: bring some sanity to the intersection of system properties aka "mutable
   // state shared by everyone and everything" and the reality that there is no other

tests/link-dce-stdlib/stdlib-link-module-init/scala/sys/SystemProperties.scala

@@ -61,7 +61,7 @@ object SystemProperties {
    */
   def exclusively[T](body: => T) = this synchronized body
 
-  //  implicit def systemPropertiesToCompanion(p: SystemProperties): SystemProperties.type = this
+  implicit def systemPropertiesToCompanion(p: SystemProperties): SystemProperties.type = this
   // FIXME: A PolyParam ends up in a CallInfoWithContext
   //  private lazy val propertyHelp = mutable.Map[String, String]()
   private def addHelp[P <: Prop[_]](p: P, helpText: String): P = {

tests/link-dce-stdlib/stdlib-link-mutable-set-0/scala/sys/SystemProperties.scala

@@ -61,18 +61,17 @@ object SystemProperties {
    */
   def exclusively[T](body: => T) = this synchronized body
 
-  //  implicit def systemPropertiesToCompanion(p: SystemProperties): SystemProperties.type = this
-  // FIXME: A PolyParam ends up in a CallInfoWithContext
-  //  private lazy val propertyHelp = mutable.Map[String, String]()
+  implicit def systemPropertiesToCompanion(p: SystemProperties): SystemProperties.type = this
+  private lazy val propertyHelp = mutable.Map[String, String]()
   private def addHelp[P <: Prop[_]](p: P, helpText: String): P = {
-//    propertyHelp(p.key) = helpText
+    propertyHelp(p.key) = helpText
     p
   }
   private def bool(key: String, helpText: String): BooleanProp = addHelp[BooleanProp](
     if (key startsWith "java.") BooleanProp.valueIsTrue(key) else BooleanProp.keyExists(key),
     helpText
   )
-//  def help(key: String) = propertyHelp.getOrElse(key, "")
+  def help(key: String) = propertyHelp.getOrElse(key, "")
 
   // Todo: bring some sanity to the intersection of system properties aka "mutable
   // state shared by everyone and everything" and the reality that there is no other

tests/link-dce-stdlib/stdlib-link-predef/scala/sys/SystemProperties.scala

@@ -61,7 +61,7 @@ object SystemProperties {
    */
   def exclusively[T](body: => T) = this synchronized body
 
-  //  implicit def systemPropertiesToCompanion(p: SystemProperties): SystemProperties.type = this
+  implicit def systemPropertiesToCompanion(p: SystemProperties): SystemProperties.type = this
   // FIXME: A PolyParam ends up in a CallInfoWithContext
   //  private lazy val propertyHelp = mutable.Map[String, String]()
   private def addHelp[P <: Prop[_]](p: P, helpText: String): P = {

tests/link-dce-stdlib/stdlib-link-varargs-Any-empty/scala/sys/SystemProperties.scala

@@ -61,7 +61,7 @@ object SystemProperties {
    */
   def exclusively[T](body: => T) = this synchronized body
 
-  //  implicit def systemPropertiesToCompanion(p: SystemProperties): SystemProperties.type = this
+  implicit def systemPropertiesToCompanion(p: SystemProperties): SystemProperties.type = this
   // FIXME: A PolyParam ends up in a CallInfoWithContext
   //  private lazy val propertyHelp = mutable.Map[String, String]()
   private def addHelp[P <: Prop[_]](p: P, helpText: String): P = {

tests/link-dce-stdlib/stdlib-link-varargs-Any/scala/sys/SystemProperties.scala

@@ -61,7 +61,7 @@ object SystemProperties {
    */
   def exclusively[T](body: => T) = this synchronized body
 
-  //  implicit def systemPropertiesToCompanion(p: SystemProperties): SystemProperties.type = this
+  implicit def systemPropertiesToCompanion(p: SystemProperties): SystemProperties.type = this
   // FIXME: A PolyParam ends up in a CallInfoWithContext
   //  private lazy val propertyHelp = mutable.Map[String, String]()
   private def addHelp[P <: Prop[_]](p: P, helpText: String): P = {

tests/link-dce-stdlib/stdlib-link-varargs-AnyRef-empty/scala/sys/SystemProperties.scala

@@ -61,7 +61,7 @@ object SystemProperties {
    */
   def exclusively[T](body: => T) = this synchronized body
 
-  //  implicit def systemPropertiesToCompanion(p: SystemProperties): SystemProperties.type = this
+  implicit def systemPropertiesToCompanion(p: SystemProperties): SystemProperties.type = this
   // FIXME: A PolyParam ends up in a CallInfoWithContext
   //  private lazy val propertyHelp = mutable.Map[String, String]()
   private def addHelp[P <: Prop[_]](p: P, helpText: String): P = {

tests/link-dce-stdlib/stdlib-link-varargs-AnyRef/scala/sys/SystemProperties.scala

@@ -61,7 +61,7 @@ object SystemProperties {
    */
   def exclusively[T](body: => T) = this synchronized body
 
-  //  implicit def systemPropertiesToCompanion(p: SystemProperties): SystemProperties.type = this
+  implicit def systemPropertiesToCompanion(p: SystemProperties): SystemProperties.type = this
   // FIXME: A PolyParam ends up in a CallInfoWithContext
   //  private lazy val propertyHelp = mutable.Map[String, String]()
   private def addHelp[P <: Prop[_]](p: P, helpText: String): P = {

tests/link-dce-stdlib/stdlib-link-varargs-int-empty/scala/sys/SystemProperties.scala

@@ -61,7 +61,7 @@ object SystemProperties {
    */
   def exclusively[T](body: => T) = this synchronized body
 
-  //  implicit def systemPropertiesToCompanion(p: SystemProperties): SystemProperties.type = this
+  implicit def systemPropertiesToCompanion(p: SystemProperties): SystemProperties.type = this
   // FIXME: A PolyParam ends up in a CallInfoWithContext
   //  private lazy val propertyHelp = mutable.Map[String, String]()
   private def addHelp[P <: Prop[_]](p: P, helpText: String): P = {

tests/link-dce-stdlib/stdlib-link-varargs-int/scala/sys/SystemProperties.scala

@@ -61,7 +61,7 @@ object SystemProperties {
    */
   def exclusively[T](body: => T) = this synchronized body
 
-  //  implicit def systemPropertiesToCompanion(p: SystemProperties): SystemProperties.type = this
+  implicit def systemPropertiesToCompanion(p: SystemProperties): SystemProperties.type = this
   // FIXME: A PolyParam ends up in a CallInfoWithContext
   //  private lazy val propertyHelp = mutable.Map[String, String]()
   private def addHelp[P <: Prop[_]](p: P, helpText: String): P = {

tests/link-dce-stdlib/stdlib-link-varargs-poly1/scala/sys/SystemProperties.scala

@@ -61,7 +61,7 @@ object SystemProperties {
    */
   def exclusively[T](body: => T) = this synchronized body
 
-  //  implicit def systemPropertiesToCompanion(p: SystemProperties): SystemProperties.type = this
+  implicit def systemPropertiesToCompanion(p: SystemProperties): SystemProperties.type = this
   // FIXME: A PolyParam ends up in a CallInfoWithContext
   //  private lazy val propertyHelp = mutable.Map[String, String]()
   private def addHelp[P <: Prop[_]](p: P, helpText: String): P = {

tests/link-dce-stdlib/stdlib-link-varargs-poly2-empty/scala/sys/SystemProperties.scala

@@ -61,7 +61,7 @@ object SystemProperties {
    */
   def exclusively[T](body: => T) = this synchronized body
 
-  //  implicit def systemPropertiesToCompanion(p: SystemProperties): SystemProperties.type = this
+  implicit def systemPropertiesToCompanion(p: SystemProperties): SystemProperties.type = this
   // FIXME: A PolyParam ends up in a CallInfoWithContext
   //  private lazy val propertyHelp = mutable.Map[String, String]()
   private def addHelp[P <: Prop[_]](p: P, helpText: String): P = {

tests/link-dce-stdlib/stdlib-link-varargs-poly2/scala/sys/SystemProperties.scala

@@ -61,7 +61,7 @@ object SystemProperties {
    */
   def exclusively[T](body: => T) = this synchronized body
 
-  //  implicit def systemPropertiesToCompanion(p: SystemProperties): SystemProperties.type = this
+  implicit def systemPropertiesToCompanion(p: SystemProperties): SystemProperties.type = this
   // FIXME: A PolyParam ends up in a CallInfoWithContext
   //  private lazy val propertyHelp = mutable.Map[String, String]()
   private def addHelp[P <: Prop[_]](p: P, helpText: String): P = {