Fix missing symbol occurrence for typebounds of type params

Author: tanishiking

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

@@ -177,6 +177,8 @@ class ExtractSemanticDB extends Phase:
             case PatternValDef(pat, rhs) =>
               traverse(rhs)
               PatternValDef.collectPats(pat).foreach(traverse)
+            case tree: TypeDef =>
+              traverseChildren(tree)
             case tree =>
               if !excludeChildren(tree.symbol) then
                 traverseChildren(tree)

tests/semanticdb/expect/i9782.expect.scala

@@ -6,9 +6,9 @@ trait Elem/*<-_empty_::Elem#*/[T/*<-_empty_::Elem#[T]*/ <: Txn/*->_empty_::Txn#*
 trait Obj/*<-_empty_::Obj#*/[T/*<-_empty_::Obj#[T]*/ <: Txn/*->_empty_::Txn#*/[T/*->_empty_::Obj#[T]*/]] extends Elem/*->_empty_::Elem#*/[T/*->_empty_::Obj#[T]*/]
 
 trait Copy/*<-_empty_::Copy#*/[In/*<-_empty_::Copy#[In]*/ <: Txn/*->_empty_::Txn#*/[In/*->_empty_::Copy#[In]*/], Out/*<-_empty_::Copy#[Out]*/ <: Txn/*->_empty_::Txn#*/[Out/*->_empty_::Copy#[Out]*/]] {
-  def copyImpl/*<-_empty_::Copy#copyImpl().*/[Repr/*<-_empty_::Copy#copyImpl().[Repr]*/[~ <: Txn[~]] <: Elem[~]](in/*<-_empty_::Copy#copyImpl().(in)*/: Repr/*->_empty_::Copy#copyImpl().[Repr]*/[In/*->_empty_::Copy#[In]*/]): Repr/*->_empty_::Copy#copyImpl().[Repr]*/[Out/*->_empty_::Copy#[Out]*/]
+  def copyImpl/*<-_empty_::Copy#copyImpl().*/[Repr/*<-_empty_::Copy#copyImpl().[Repr]*/[~/*<-_empty_::Copy#copyImpl().[Repr][`~`]*/ <: Txn/*->_empty_::Txn#*/[~/*->_empty_::Copy#copyImpl().[Repr][`~`]*/]] <: Elem/*->_empty_::Elem#*/[~/*->_empty_::Copy#copyImpl().[Repr][`~`]*/]](in/*<-_empty_::Copy#copyImpl().(in)*/: Repr/*->_empty_::Copy#copyImpl().[Repr]*/[In/*->_empty_::Copy#[In]*/]): Repr/*->_empty_::Copy#copyImpl().[Repr]*/[Out/*->_empty_::Copy#[Out]*/]
 
-  def apply/*<-_empty_::Copy#apply().*/[Repr/*<-_empty_::Copy#apply().[Repr]*/[~ <: Txn[~]] <: Elem[~]](in/*<-_empty_::Copy#apply().(in)*/: Repr/*->_empty_::Copy#apply().[Repr]*/[In/*->_empty_::Copy#[In]*/]): Repr/*->_empty_::Copy#apply().[Repr]*/[Out/*->_empty_::Copy#[Out]*/] = {
+  def apply/*<-_empty_::Copy#apply().*/[Repr/*<-_empty_::Copy#apply().[Repr]*/[~/*<-_empty_::Copy#apply().[Repr][`~`]*/ <: Txn/*->_empty_::Txn#*/[~/*->_empty_::Copy#apply().[Repr][`~`]*/]] <: Elem/*->_empty_::Elem#*/[~/*->_empty_::Copy#apply().[Repr][`~`]*/]](in/*<-_empty_::Copy#apply().(in)*/: Repr/*->_empty_::Copy#apply().[Repr]*/[In/*->_empty_::Copy#[In]*/]): Repr/*->_empty_::Copy#apply().[Repr]*/[Out/*->_empty_::Copy#[Out]*/] = {
     val out/*<-local0*/ = copyImpl/*->_empty_::Copy#copyImpl().*/[Repr/*->_empty_::Copy#apply().[Repr]*/](in/*->_empty_::Copy#apply().(in)*/)
     (/*->scala::Tuple2.apply().*/in/*->_empty_::Copy#apply().(in)*/, out/*->local0*/) match {
       case (/*->scala::Tuple2.unapply().*/inObj/*<-local1*/: Obj/*->_empty_::Obj#*/[In/*->_empty_::Copy#[In]*/], outObj/*<-local2*/: Obj/*->_empty_::Obj#*/[Out/*->_empty_::Copy#[Out]*/]) =>     // problem here

tests/semanticdb/metac.expect

@@ -3543,8 +3543,8 @@ Schema => SemanticDB v4
 Uri => i9782.scala
 Text => empty
 Language => Scala
-Symbols => 22 entries
-Occurrences => 55 entries
+Symbols => 24 entries
+Occurrences => 65 entries
 
 Symbols:
 _empty_/Copy# => trait Copy
@@ -3554,9 +3554,11 @@ _empty_/Copy#`<init>`(). => primary ctor <init>
 _empty_/Copy#apply(). => method apply
 _empty_/Copy#apply().(in) => param in
 _empty_/Copy#apply().[Repr] => typeparam Repr
+_empty_/Copy#apply().[Repr][`~`] => typeparam ~
 _empty_/Copy#copyImpl(). => abstract method copyImpl
 _empty_/Copy#copyImpl().(in) => param in
 _empty_/Copy#copyImpl().[Repr] => typeparam Repr
+_empty_/Copy#copyImpl().[Repr][`~`] => typeparam ~
 _empty_/Elem# => trait Elem
 _empty_/Elem#[T] => typeparam T
 _empty_/Elem#`<init>`(). => primary ctor <init>
@@ -3598,13 +3600,23 @@ Occurrences:
 [7:37..7:40): Out -> _empty_/Copy#[Out]
 [8:6..8:14): copyImpl <- _empty_/Copy#copyImpl().
 [8:15..8:19): Repr <- _empty_/Copy#copyImpl().[Repr]
+[8:20..8:21): ~ <- _empty_/Copy#copyImpl().[Repr][`~`]
+[8:25..8:28): Txn -> _empty_/Txn#
+[8:29..8:30): ~ -> _empty_/Copy#copyImpl().[Repr][`~`]
+[8:36..8:40): Elem -> _empty_/Elem#
+[8:41..8:42): ~ -> _empty_/Copy#copyImpl().[Repr][`~`]
 [8:45..8:47): in <- _empty_/Copy#copyImpl().(in)
 [8:49..8:53): Repr -> _empty_/Copy#copyImpl().[Repr]
 [8:54..8:56): In -> _empty_/Copy#[In]
 [8:60..8:64): Repr -> _empty_/Copy#copyImpl().[Repr]
 [8:65..8:68): Out -> _empty_/Copy#[Out]
 [10:6..10:11): apply <- _empty_/Copy#apply().
 [10:12..10:16): Repr <- _empty_/Copy#apply().[Repr]
+[10:17..10:18): ~ <- _empty_/Copy#apply().[Repr][`~`]
+[10:22..10:25): Txn -> _empty_/Txn#
+[10:26..10:27): ~ -> _empty_/Copy#apply().[Repr][`~`]
+[10:33..10:37): Elem -> _empty_/Elem#
+[10:38..10:39): ~ -> _empty_/Copy#apply().[Repr][`~`]
 [10:42..10:44): in <- _empty_/Copy#apply().(in)
 [10:46..10:50): Repr -> _empty_/Copy#apply().[Repr]
 [10:51..10:53): In -> _empty_/Copy#[In]