[SemanticDB] Missing symbol occurrence for type annotation

[tanishiking]

Missing symbol occurrence for an upper bound of the type parameter of class/trait/object definition.

Compiler version

v3.0.1

Minimized example

class Foo[T <: Int]

Output

class Foo/*<-example::Foo#*/[T/*<-example::Foo#[T]*/ <: Int]

For example, see: https://github.com/lampepfl/dotty/blob/49250915e0d28f3450f03d16a24c14577bc17562/tests/semanticdb/expect/i9782.expect.scala#L8

Expectation

class Foo/*<-example::Foo#*/[T/*<-example::Foo#[T]*/ <: Int/*->scala::Int#*/]

Possible solution

See:

• Signature information in Semanticdb #12885 (comment)
• Signature information in Semanticdb #12885 (comment)

[bishabosha]

I think this can be extracted by finding the matching type tree in the primary constructor

[tanishiking]

I'm taking a look at this issue :)

---

Also, some type annotations for DefDef lacks symbol occurrence
https://github.com/lampepfl/dotty/blob/e7a641c5ad61fa683423954fa9263079a890c809/tests/semanticdb/expect/Prefixes.expect.scala#L27