Whichhunting: method signatures change after typer.

Author: DarkDimius

compiler/src/dotty/tools/dotc/ast/Trees.scala

@@ -63,8 +63,12 @@ object Trees {
 
     private def nxId = {
       nextId += 1
+      if ((nextId == 94) && (nextId < 170)) {
+        println("dssds")
+      }
       //assert(nextId != 199, this)
       nextId
+
     }
 
     /** A unique identifier for this tree. Used for debugging, and potentially
@@ -74,6 +78,7 @@ object Trees {
 
     def uniqueId = myUniqueId
 
+
     /** The type  constructor at the root of the tree */
     type ThisTree[T >: Untyped] <: Tree[T]
 

compiler/src/dotty/tools/dotc/ast/tpd.scala

@@ -479,8 +479,9 @@ object tpd extends Trees.Instance[Type] with TypedTreeInfo {
 
     override def Select(tree: Tree)(qualifier: Tree, name: Name)(implicit ctx: Context): Select = {
       val tree1 = untpd.cpy.Select(tree)(qualifier, name)
+      lazy val oldMember = tree.asInstanceOf[Select].qualifier.tpe.member(name)
       tree match {
-        case tree: Select if qualifier.tpe eq tree.qualifier.tpe =>
+        case tree: Select if (qualifier.tpe eq tree.qualifier.tpe) && (oldMember.isOverloaded || oldMember.signature == qualifier.tpe.member(name).signature) =>
           tree1.withTypeUnchecked(tree.tpe)
         case _ => tree.tpe match {
           case tpe: NamedType => tree1.withType(tpe.derivedSelect(qualifier.tpe.widenIfUnstable))

compiler/src/dotty/tools/dotc/printing/Formatting.scala

@@ -29,10 +29,11 @@ object Formatting {
 
     protected def showArg(arg: Any)(implicit ctx: Context): String = arg match {
       case arg: Showable =>
-        try arg.show
-        catch {
-          case NonFatal(ex) => s"[cannot display due to $ex, raw string = $toString]"
-        }
+        //try
+          arg.show
+       // catch {
+          //case NonFatal(ex) => s"[cannot display due to $ex, raw string = $toString]"
+       // }
       case _ => arg.toString
     }
 

compiler/src/dotty/tools/dotc/typer/TypeAssigner.scala

@@ -211,6 +211,8 @@ trait TypeAssigner {
   /** The type of a selection with `name` of a tree with type `site`.
    */
   def selectionType(site: Type, name: Name, pos: Position)(implicit ctx: Context): Type = {
+    if (name.toString == "specializedFor")
+      println("bugaga")
     val mbr = site.member(name)
     if (reallyExists(mbr)) site.select(name, mbr)
     else if (site.derivesFrom(defn.DynamicClass) && !Dynamic.isDynamicMethod(name)) {