Register TypeRef's symbol that present in source as occurrence

Author: tanishiking

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

@@ -231,6 +231,16 @@ class ExtractSemanticDB extends Phase:
                     registerUseGuarded(None, alt.symbol.companionClass, sel.imported.span, tree.source)
         case tree: Inlined =>
           traverse(tree.call)
+        case tree: TypeTree =>
+          tree.typeOpt match
+            // Any types could be appear inside of `TypeTree`, but
+            // types that precent in source other than TypeRef are traversable and contain Ident tree nodes
+            // (e.g. TypeBoundsTree, AppliedTypeTree)
+            case Types.TypeRef(_, sym: Symbol) if namePresentInSource(sym, tree.span, tree.source) =>
+              registerUseGuarded(None, sym, tree.span, tree.source)
+            case _ => ()
+
+
         case _ =>
           traverseChildren(tree)
 

tests/semanticdb/expect/Prefixes.expect.scala

@@ -24,7 +24,7 @@ object Test/*<-prefixes::Test.*/ {
   def m2/*<-prefixes::Test.m2().*/: c/*->prefixes::Test.c.*/.T/*->prefixes::C#T#*/ = ???/*->scala::Predef.`???`().*/
   def k2/*<-prefixes::Test.k2().*/: c/*->prefixes::Test.c.*/.N/*->prefixes::C#N.*/.U/*->prefixes::C#N.U#*/ = ???/*->scala::Predef.`???`().*/
   import c/*->prefixes::Test.c.*/.N/*->prefixes::C#N.*/.*
-  def k3/*<-prefixes::Test.k3().*/: U = ???/*->scala::Predef.`???`().*/
+  def k3/*<-prefixes::Test.k3().*/: U/*->prefixes::C#N.U#*/ = ???/*->scala::Predef.`???`().*/
 
   def n2/*<-prefixes::Test.n2().*/: M/*->prefixes::M.*/.T/*->prefixes::M.T#*/ = ???/*->scala::Predef.`???`().*/
 

tests/semanticdb/metac.expect

@@ -2594,7 +2594,7 @@ Uri => Prefixes.scala
 Text => empty
 Language => Scala
 Symbols => 19 entries
-Occurrences => 47 entries
+Occurrences => 48 entries
 
 Symbols:
 prefixes/C# => class C extends Object { self: C => +6 decls }
@@ -2656,6 +2656,7 @@ Occurrences:
 [25:9..25:10): c -> prefixes/Test.c.
 [25:11..25:12): N -> prefixes/C#N.
 [26:6..26:8): k3 <- prefixes/Test.k3().
+[26:10..26:11): U -> prefixes/C#N.U#
 [26:14..26:17): ??? -> scala/Predef.`???`().
 [28:6..28:8): n2 <- prefixes/Test.n2().
 [28:10..28:11): M -> prefixes/M.