exclude default getters

Author: bishabosha

compiler/src/dotty/tools/dotc/semanticdb/ExtractSemanticDB.scala

@@ -157,15 +157,19 @@ class ExtractSemanticDB extends Phase {
       || sym.is(Synthetic) || (sym.owner.is(Synthetic) && !sym.isAllOf(EnumCase))
       || sym.isAnonymous
       || sym.isPrimaryConstructor && excludeDef(sym.owner)
+      || excludeDefStrict(sym)
+
+    private def excludeDefStrict(sym: Symbol)(given Context): Boolean =
+      sym.name.is(NameKinds.DefaultGetterName)
 
     private def (sym: Symbol) isAnonymous(given Context): Boolean =
       sym.isAnonymousClass
       || sym.isAnonymousModuleVal
       || sym.isAnonymousFunction
 
     /** Uses of this symbol where the reference has given span should be excluded from semanticdb */
-    private def excludeUse(sym: Symbol, span: Span)(given Context): Boolean =
-      excludeDef(sym) && span.start == span.end
+    private def excludeUseStrict(sym: Symbol, span: Span)(given Context): Boolean =
+      excludeDefStrict(sym) || (excludeDef(sym) && span.start == span.end)
 
     private def registerOccurrence(sym: Symbol, span: Span, role: SymbolOccurrence.Role)(given Context): Unit =
       val occ = SymbolOccurrence(symbolName(sym), range(span), role)
@@ -174,7 +178,7 @@ class ExtractSemanticDB extends Phase {
         generated += occ
 
     private def registerUse(sym: Symbol, span: Span)(given Context) =
-      if !excludeUse(sym, span) && !isWildcard(sym.name) then
+      if !excludeUseStrict(sym, span) && !isWildcard(sym.name) then
         registerOccurrence(sym, span, SymbolOccurrence.Role.REFERENCE)
 
     private def registerDefinition(sym: Symbol, span: Span)(given Context) =
@@ -220,10 +224,10 @@ class ExtractSemanticDB extends Phase {
             traverse(tree.self)
           tree.body.foreach(traverse)
         case tree: Ident =>
-          if tree.name != nme.WILDCARD && !excludeUse(tree.symbol, tree.span) then
+          if tree.name != nme.WILDCARD && !excludeUseStrict(tree.symbol, tree.span) then
             registerUse(tree.symbol, tree.span)
         case tree: Select =>
-          if !excludeUse(tree.symbol, tree.span) then
+          if !excludeUseStrict(tree.symbol, tree.span) then
             val end = tree.span.end
             val limit = tree.qualifier.span.end
             val start =
@@ -240,6 +244,8 @@ class ExtractSemanticDB extends Phase {
               if imported != nme.WILDCARD then
                 for alt <- tree.expr.tpe.member(imported).alternatives do
                   registerUse(alt.symbol, sel.imported.span)
+                  if (alt.symbol.companionClass.exists)
+                    registerUse(alt.symbol.companionClass, sel.imported.span)
                 registerPath(tree.expr)
         case tree: Inlined =>
           traverse(tree.call)

tests/semanticdb/Example.expect.scala

@@ -0,0 +1,11 @@
+package example
+
+import scala.concurrent/*=>>scala.concurrent.*/.Future/*=>>scala.concurrent.Future.*//*=>>scala.concurrent.Future#*/
+
+object Example/*<<=example.Example.*/ { /*=>>example.Example.*/self/*<<=local0*/ =>
+  new /*=>>scala.collection.mutable.Stack.*/scala/*=>>scala.*/.collection/*=>>scala.collection.*/.mutable/*=>>scala.collection.mutable.*/.Stack/*=>>scala.collection.mutable.Stack#*/[Int/*=>>scala.Int#*/]/*=>>scala.collection.mutable.Stack#`<init>`(+1).*/()
+  def main/*<<=example.Example.main().*/(args/*<<=example.Example.main().(args)*/: Array/*=>>scala.Array#*/[String/*=>>scala.Predef.String#*/]): Unit/*=>>scala.Unit#*/ = {
+    println/*=>>scala.Predef.println(+1).*/(1)
+  }
+  val x/*<<=example.Example.x.*/ = scala/*=>>scala.*/.reflect/*=>>scala.reflect.*/.classTag/*=>>scala.reflect.classTag().*/[Int/*=>>scala.Int#*/]/*=>>scala.reflect.ClassTag.apply().*//*=>>scala.reflect.ClassTag.*//*=>>java.lang.Integer.TYPE.*//*=>>java.lang.Integer.*/
+}

tests/semanticdb/Example.scala

@@ -0,0 +1,11 @@
+package example
+
+import scala.concurrent.Future
+
+object Example { self =>
+  new scala.collection.mutable.Stack[Int]()
+  def main(args: Array[String]): Unit = {
+    println(1)
+  }
+  val x = scala.reflect.classTag[Int]
+}